Skip to content

[WIP] Update plugin property version line to new author and links pull request run 🚀 #351

[WIP] Update plugin property version line to new author and links pull request run 🚀

[WIP] Update plugin property version line to new author and links pull request run 🚀 #351

Re-run triggered November 10, 2025 11:23
Status Cancelled
Total duration 2s
Artifacts

pr-pull.yaml

on: pull_request
Build Project 🧱  /  Check GitHub Event Data 🔎
Build Project 🧱 / Check GitHub Event Data 🔎
Check Formatting 🔍  /  clang-format
Check Formatting 🔍 / clang-format
Check Formatting 🔍  /  gersemi
Check Formatting 🔍 / gersemi
Build Project 🧱  /  Build for Windows 🪟
Build Project 🧱 / Build for Windows 🪟
Build Project 🧱  /  Build for macOS 🍏
Build Project 🧱 / Build for macOS 🍏
Matrix: Build Project 🧱 / Build for Ubuntu 🐧
Waiting for pending jobs
Fit to window
Zoom out
Zoom in

Annotations

1 error
Pull Request
Canceling since a higher priority waiting request for Pull Request @ royshil:copilot/update-plugin-name-and-links exists