Skip to content
Pull Request

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

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 🚀 #335

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Check Formatting 🔍 / gersemi
5s
Check Formatting 🔍 / clang-format
9s
Build Project 🧱 / Check GitHub Event Data 🔎
8s
Build Project 🧱 / Build for macOS 🍏
5m 11s
Build Project 🧱 / Build for Ubuntu 🐧 (ubuntu-24.04)
3m 12s
Build Project 🧱 / Build for Windows 🪟
3m 20s
12m 5s