Skip to content

Refresh pages pull request run 🚀 #308

Refresh pages pull request run 🚀

Refresh pages pull request run 🚀 #308

Triggered via pull request November 8, 2025 22:34
Status Cancelled
Total duration 17s
Artifacts

pr-pull.yaml

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

Annotations

6 errors
Check Formatting 🔍 / gersemi
Canceling since a higher priority waiting request for Pull Request @ royshil:umireon/refresh-pages exists
Check Formatting 🔍 / clang-format
Canceling since a higher priority waiting request for Pull Request @ royshil:umireon/refresh-pages exists
Pull Request
Canceling since a higher priority waiting request for Pull Request @ royshil:umireon/refresh-pages exists
Pull Request
Canceling since a higher priority waiting request for Pull Request @ royshil:umireon/refresh-pages exists
Pull Request
Canceling since a higher priority waiting request for Pull Request @ royshil:umireon/refresh-pages exists
Build Project 🧱 / Check GitHub Event Data 🔎
Canceling since a higher priority waiting request for Pull Request @ royshil:umireon/refresh-pages exists