Skip to content

Actions: awueth/mathlib4

Actions

continuous integration (mathlib forks)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build_fork.yml
6 workflow runs
6 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Setup blueprint continuous integration (mathlib forks) #6: Commit edcc8d9 pushed by awueth
May 6, 2024 11:07 13m 35s master
master
May 6, 2024 11:07 13m 35s
chore: remove pp.proofs.withType, as this is now default (#12689) continuous integration (mathlib forks) #5: Commit e5ecd7d pushed by awueth
May 6, 2024 10:54 26m 1s master
master
May 6, 2024 10:54 26m 1s
. continuous integration (mathlib forks) #4: Commit f003e0c pushed by awueth
May 6, 2024 07:51 2h 45m 3s thesis-clean
thesis-clean
May 6, 2024 07:51 2h 45m 3s
. continuous integration (mathlib forks) #3: Commit 217831d pushed by awueth
May 5, 2024 14:21 2h 44m 40s thesis-clean
thesis-clean
May 5, 2024 14:21 2h 44m 40s
Setup blueprint continuous integration (mathlib forks) #2: Commit dbf0524 pushed by awueth
May 5, 2024 14:16 Startup failure thesis-clean
thesis-clean
May 5, 2024 14:16 Startup failure
feat: Finset/Multiset.powersetCard 1 (#9137) continuous integration (mathlib forks) #1: Commit 8d91b8e pushed by awueth
December 19, 2023 06:20 54m 52s master
master
December 19, 2023 06:20 54m 52s