Skip to content

Actions: leanprover-community/mathlib4

Actions

continuous integration (mathlib forks)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build_fork.yml
116,675 workflow runs
116,675 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: notation for vectors in Euclidean space (#17732) continuous integration (mathlib forks) #157109: Commit c465194 pushed by mathlib-bors bot
December 2, 2024 17:27 11s staging
staging
December 2, 2024 17:27 11s
Update PiL2.lean continuous integration (mathlib forks) #157108: Commit 83e8306 pushed by eric-wieser
December 2, 2024 17:12 11s eric-wieser/euclidean_notation
eric-wieser/euclidean_notation
December 2, 2024 17:12 11s
Update PiL2.lean continuous integration (mathlib forks) #157107: Commit b13ef96 pushed by eric-wieser
December 2, 2024 17:12 10s eric-wieser/euclidean_notation
eric-wieser/euclidean_notation
December 2, 2024 17:12 10s
chore: turn erw into rw for free (#19689) continuous integration (mathlib forks) #157106: Commit de7196a pushed by mathlib4-update-dependencies-bot
December 2, 2024 17:06 13s update-dependencies-bot-use-only
update-dependencies-bot-use-only
December 2, 2024 17:06 13s
chore: turn erw into rw for free (#19689) continuous integration (mathlib forks) #157105: Commit de7196a pushed by mathlib-bors bot
December 2, 2024 17:02 15s master
master
December 2, 2024 17:02 15s
final changes continuous integration (mathlib forks) #157104: Commit 1ee7ee6 pushed by FMLJohn
December 2, 2024 16:57 14s hilbert
hilbert
December 2, 2024 16:57 14s
chore: turn erw into rw for free (#19689) continuous integration (mathlib forks) #157103: Commit de7196a pushed by mathlib-bors bot
December 2, 2024 16:40 12s staging
staging
December 2, 2024 16:40 12s
feat(Logic/IsEmpty): Left/Right/BiTotal truthiness on emptiness (#19555) continuous integration (mathlib forks) #157102: Commit 09ceeef pushed by mathlib-bors bot
December 2, 2024 16:40 16s master
master
December 2, 2024 16:40 16s
golf continuous integration (mathlib forks) #157101: Commit 263e340 pushed by qawbecrdtey
December 2, 2024 16:26 16s jsm28/nth_add_one
jsm28/nth_add_one
December 2, 2024 16:26 16s
fix continuous integration (mathlib forks) #157100: Commit b7a2fd2 pushed by sgouezel
December 2, 2024 16:24 11s SG_smoothmanifold
SG_smoothmanifold
December 2, 2024 16:24 11s
Review continuous integration (mathlib forks) #157099: Commit 06b4225 pushed by xroblot
December 2, 2024 16:22 15s xfr-unitpart
xfr-unitpart
December 2, 2024 16:22 15s
changes requested by Peter Nelson continuous integration (mathlib forks) #157098: Commit d58d4a9 pushed by madvorak
December 2, 2024 16:20 20s mdv-matroid-ext
mdv-matroid-ext
December 2, 2024 16:20 20s
feat(check-yaml,yaml-check): various small tweaks (#19688) continuous integration (mathlib forks) #157097: Commit 5255add pushed by mathlib4-update-dependencies-bot
December 2, 2024 16:07 15s update-dependencies-bot-use-only
update-dependencies-bot-use-only
December 2, 2024 16:07 15s
Re-apply fix. continuous integration (mathlib forks) #157096: Commit d61e514 pushed by grunweg
December 2, 2024 16:05 14s MR-1000-theorems
MR-1000-theorems
December 2, 2024 16:05 14s
chore: turn erw into rw for free continuous integration (mathlib forks) #157095: Commit dc07b2b pushed by Vierkantor
December 2, 2024 16:03 11s erw-to-rw-2024-12-02
erw-to-rw-2024-12-02
December 2, 2024 16:03 11s
feat(Logic/IsEmpty): Left/Right/BiTotal truthiness on emptiness (#19555) continuous integration (mathlib forks) #157094: Commit 09ceeef pushed by mathlib-bors bot
December 2, 2024 15:59 13s staging
staging
December 2, 2024 15:59 13s
chore: regenerate 1000.yaml continuous integration (mathlib forks) #157093: Commit 623063d pushed by grunweg
December 2, 2024 15:55 12s MR-1000-theorems
MR-1000-theorems
December 2, 2024 15:55 12s
chore: regenerate 1000.yaml continuous integration (mathlib forks) #157092: Commit d1f62d7 pushed by grunweg
December 2, 2024 15:52 14s MR-1000-theorems
MR-1000-theorems
December 2, 2024 15:52 14s
Actually, make URLs and identifiers both mandatory. continuous integration (mathlib forks) #157091: Commit 58e11b4 pushed by grunweg
December 2, 2024 15:49 11s MR-1000-theorems-infra
MR-1000-theorems-infra
December 2, 2024 15:49 11s
Update continuous integration (mathlib forks) #157090: Commit 18fc13b pushed by urkud
December 2, 2024 15:48 11s YK-fderiv-def
YK-fderiv-def
December 2, 2024 15:48 11s
feat(check-yaml,yaml-check): various small tweaks (#19688) continuous integration (mathlib forks) #157089: Commit 5255add pushed by mathlib-bors bot
December 2, 2024 15:44 11s master
master
December 2, 2024 15:44 11s
Merge branch 'jsm28/nth_add_one' into jsm28/imo2024q3 continuous integration (mathlib forks) #157088: Commit ad87d04 pushed by jsm28
December 2, 2024 15:39 13s jsm28/imo2024q3
jsm28/imo2024q3
December 2, 2024 15:39 13s
Merge branch 'master' into jsm28/nth_add_one continuous integration (mathlib forks) #157087: Commit f9551de pushed by jsm28
December 2, 2024 15:39 10s jsm28/nth_add_one
jsm28/nth_add_one
December 2, 2024 15:39 10s
Remove N continuous integration (mathlib forks) #157086: Commit ecfc766 pushed by ADedecker
December 2, 2024 15:38 13s AD_algebra_filter_bases_part1
AD_algebra_filter_bases_part1
December 2, 2024 15:38 13s
doc continuous integration (mathlib forks) #157085: Commit 3012be1 pushed by javra
December 2, 2024 15:38 13s fme-163
fme-163
December 2, 2024 15:38 13s