Skip to content

Actions: awueth/mathlib4

Actions

continuous integration

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
5 workflow runs
5 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Setup blueprint continuous integration #6: Commit edcc8d9 pushed by awueth
May 6, 2024 11:07 5s master
master
May 6, 2024 11:07 5s
chore: remove pp.proofs.withType, as this is now default (#12689) continuous integration #5: Commit e5ecd7d pushed by awueth
May 6, 2024 10:54 4s master
master
May 6, 2024 10:54 4s
. continuous integration #4: Commit f003e0c pushed by awueth
May 6, 2024 07:51 5s thesis-clean
thesis-clean
May 6, 2024 07:51 5s
. continuous integration #3: Commit 217831d pushed by awueth
May 5, 2024 14:21 5s thesis-clean
thesis-clean
May 5, 2024 14:21 5s
Setup blueprint continuous integration #2: Commit dbf0524 pushed by awueth
May 5, 2024 14:16 Startup failure thesis-clean
thesis-clean
May 5, 2024 14:16 Startup failure