Skip to content

Actions: leanprover-community/mathlib4

Actions

continuous integration

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
66,804 workflow runs
66,804 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore: golf using grind (#33074) continuous integration #207607: Commit 6ca0286 pushed by mathlib4-update-dependencies-bot
In progress update-dependencies-bot-use-only
update-dependencies-bot-use-only
In progress
chore: golf using grind (#33074) continuous integration #207606: Commit 6ca0286 pushed by mathlib-bors bot
In progress master
master
In progress
fix continuous integration #207605: Commit a002058 pushed by eric-wieser
18m 0s eric-wieser/finite
eric-wieser/finite
18m 0s
chore(Data/Option): deprecate Option.iget (#33583) continuous integration #207604: Commit b79634a pushed by mathlib-bors bot
15m 13s master
master
15m 13s
fix(Cache): print ProofWidgets build stdout on error (#33651) continuous integration #207603: Commit 15f6691 pushed by mathlib4-update-dependencies-bot
15m 22s update-dependencies-bot-use-only
update-dependencies-bot-use-only
15m 22s
fix(Cache): print ProofWidgets build stdout on error (#33651) continuous integration #207602: Commit 15f6691 pushed by mathlib-bors bot
17m 31s master
master
17m 31s
ci: add nanoda verification to daily workflow (#33648) continuous integration #207601: Commit e86c41d pushed by mathlib4-update-dependencies-bot
17m 20s update-dependencies-bot-use-only
update-dependencies-bot-use-only
17m 20s
ci: add nanoda verification to daily workflow (#33648) continuous integration #207600: Commit e86c41d pushed by mathlib-bors bot
15m 20s master
master
15m 20s
Merge branch 'master' into YK-linederiv-symm continuous integration #207599: Commit 93b2b42 pushed by urkud
11m 4s YK-linederiv-symm
YK-linederiv-symm
11m 4s
feat(Analysis/SpecialFunctions/Integrals): add `∫ x : ℝ in a..b, (c ^… continuous integration #207598: Commit 8520ad2 pushed by mathlib4-update-dependencies-bot
20m 4s update-dependencies-bot-use-only
update-dependencies-bot-use-only
20m 4s
feat(Analysis/SpecialFunctions/Integrals): add `∫ x : ℝ in a..b, (c ^… continuous integration #207597: Commit 8520ad2 pushed by mathlib-bors bot
15m 22s master
master
15m 22s
feat(Analysis/Complex): exp is covering map (#33564) continuous integration #207596: Commit b66f9a3 pushed by mathlib4-update-dependencies-bot
15m 12s update-dependencies-bot-use-only
update-dependencies-bot-use-only
15m 12s
feat(Analysis/Complex): exp is covering map (#33564) continuous integration #207595: Commit b66f9a3 pushed by mathlib-bors bot
21m 48s master
master
21m 48s
feat: define Metric.Snowflaking (#33114) continuous integration #207594: Commit 8885835 pushed by mathlib4-update-dependencies-bot
19m 26s update-dependencies-bot-use-only
update-dependencies-bot-use-only
19m 26s
feat: define Metric.Snowflaking (#33114) continuous integration #207593: Commit 8885835 pushed by mathlib-bors bot
15m 17s master
master
15m 17s
more continuous integration #207592: Commit fa38d91 pushed by eric-wieser
20m 9s eric-wieser/finite
eric-wieser/finite
20m 9s
chore: tidy results around Module.Finite continuous integration #207591: Commit cc2b66d pushed by eric-wieser
16m 8s eric-wieser/finite
eric-wieser/finite
16m 8s
chore(positivity): make tactic lemmas public (#33593) continuous integration #207590: Commit 05f342b pushed by mathlib4-update-dependencies-bot
14m 53s update-dependencies-bot-use-only
update-dependencies-bot-use-only
14m 53s
chore(positivity): make tactic lemmas public (#33593) continuous integration #207589: Commit 05f342b pushed by mathlib-bors bot
16m 57s master
master
16m 57s
chore: fix some privateInPublic proofs (#33591) continuous integration #207588: Commit 6071796 pushed by mathlib4-update-dependencies-bot
18m 30s update-dependencies-bot-use-only
update-dependencies-bot-use-only
18m 30s
chore: fix some privateInPublic proofs (#33591) continuous integration #207587: Commit 6071796 pushed by mathlib-bors bot
14m 59s master
master
14m 59s
chore: promote Matrix.det from an abbrev into a def (#33590) continuous integration #207586: Commit 25f07b4 pushed by mathlib-bors bot
15m 3s master
master
15m 3s
ci: revert changes to wrapper script in #33474 (#33598) continuous integration #207585: Commit 27ab765 pushed by mathlib4-update-dependencies-bot
20m 17s update-dependencies-bot-use-only
update-dependencies-bot-use-only
20m 17s
ci: revert changes to wrapper script in #33474 (#33598) continuous integration #207584: Commit 27ab765 pushed by mathlib-bors bot
15m 20s master
master
15m 20s
chore: remove unnecessary @[expose] from public sections (#33581) continuous integration #207583: Commit 959c852 pushed by mathlib4-update-dependencies-bot
5h 6m 38s update-dependencies-bot-use-only
update-dependencies-bot-use-only
5h 6m 38s