Skip to content

Actions: awueth/mathlib4

Actions

.github/workflows/blueprint.yml

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
blueprint.yml
1 workflow run
1 workflow run

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Setup blueprint .github/workflows/blueprint.yml #1: Commit edcc8d9 pushed by awueth
May 6, 2024 11:07 45m 38s master
master
May 6, 2024 11:07 45m 38s