Workflow runs · Steven-Rossi/QuadraticClassNumber · GitHub

Actions

All workflows
Workflows
- Compile blueprint Compile blueprint
- Create Release Create Release
- Lean Action CI Lean Action CI
- Update Dependencies Update Dependencies
Management
- Caches

All workflows

Actions

Loading...
Loading

Showing runs from all workflows

1 workflow run

1 workflow run

Quad Field def & setup Lean Action CI #1: Commit 296d8e1 pushed by Steven-Rossi

9m 57s main

main

9m 57s