Skip to content
Pull Request

Refresh documents (README.md and our site) pull request run 🚀 #333

Sign in to view logs

Refresh documents (README.md and our site) pull request run 🚀

Refresh documents (README.md and our site) pull request run 🚀 #333

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Check Formatting 🔍 / gersemi
6s
Check Formatting 🔍 / clang-format
6s
Build Project 🧱 / Check GitHub Event Data 🔎
9s
Build Project 🧱 / Build for Windows 🪟
2m 44s
Build Project 🧱 / Build for Ubuntu 🐧 (ubuntu-24.04)
5m 10s
Build Project 🧱 / Build for macOS 🍏
5m 22s
13m 37s