Skip to content

Actions: leanprover-community/lftcm2020

Actions

.github/workflows/ci.yml

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
21 workflow runs
21 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update Lean and Mathlib to the port-complete tag (#150) .github/workflows/ci.yml #164: Commit 64d1861 pushed by PatrickMassot
October 24, 2023 14:46 12m 59s master
master
October 24, 2023 14:46 12m 59s
manifolds: fix lemma about tangent bundle .github/workflows/ci.yml #163: Commit cb462b8 pushed by eric-wieser
October 23, 2023 23:03 13m 40s port-complete
port-complete
October 23, 2023 23:03 13m 40s
manifolds: fix lemma about tangent bundle .github/workflows/ci.yml #162: Commit adca715 pushed by eric-wieser
October 23, 2023 23:03 13m 10s port-complete
port-complete
October 23, 2023 23:03 13m 10s
analysis: fix imports .github/workflows/ci.yml #161: Commit 9218efa pushed by eric-wieser
October 23, 2023 22:57 9m 6s port-complete
port-complete
October 23, 2023 22:57 9m 6s
analysis: fix imports .github/workflows/ci.yml #160: Commit 982f1ef pushed by eric-wieser
October 23, 2023 22:53 8m 51s port-complete
port-complete
October 23, 2023 22:53 8m 51s
linear algebra: fix a declaration name .github/workflows/ci.yml #159: Commit 64712be pushed by eric-wieser
October 23, 2023 22:48 2m 40s port-complete
port-complete
October 23, 2023 22:48 2m 40s
fix imports .github/workflows/ci.yml #158: Commit a7a02ff pushed by eric-wieser
October 23, 2023 22:44 2m 19s port-complete
port-complete
October 23, 2023 22:44 2m 19s
Update Lean and Mathlib to the port-complete tag .github/workflows/ci.yml #157: Commit 05e1e18 pushed by eric-wieser
October 23, 2023 22:39 1m 29s port-complete
port-complete
October 23, 2023 22:39 1m 29s
Merge pull request #148 from leanprover-community/mathlib-bump .github/workflows/ci.yml #156: Commit e9538f9 pushed by eric-wieser
October 23, 2023 22:36 8m 53s master
master
October 23, 2023 22:36 8m 53s
should build? .github/workflows/ci.yml #155: Commit ff2330a pushed by eric-wieser
October 23, 2023 22:23 10m 32s mathlib-bump
mathlib-bump
October 23, 2023 22:23 10m 32s
Merge remote-tracking branch 'origin/master' into mathlib-bump .github/workflows/ci.yml #154: Commit c4687a3 pushed by eric-wieser
October 23, 2023 22:23 1m 40s mathlib-bump
mathlib-bump
October 23, 2023 22:23 1m 40s
Replace CI to not use docker (#149) .github/workflows/ci.yml #153: Commit 9c5d579 pushed by eric-wieser
October 23, 2023 22:22 13m 9s master
master
October 23, 2023 22:22 13m 9s
replace CI to not use docker, to try and fix memory issues .github/workflows/ci.yml #152: Commit 64a2f1f pushed by eric-wieser
October 23, 2023 22:07 12m 29s eric-wieser/new-ci
eric-wieser/new-ci
October 23, 2023 22:07 12m 29s
replace CI to not use docker, to try and fix memory issues .github/workflows/ci.yml #151: Commit 6e2d1ec pushed by eric-wieser
October 23, 2023 22:07 13m 14s eric-wieser/new-ci
eric-wieser/new-ci
October 23, 2023 22:07 13m 14s
Replace CI to not use docker .github/workflows/ci.yml #150: Pull request #149 opened by eric-wieser
October 23, 2023 22:06 14m 54s eric-wieser/new-ci
eric-wieser/new-ci
October 23, 2023 22:06 14m 54s
replace CI to not use docker, to try and fix memory issues .github/workflows/ci.yml #149: Commit f0a0c74 pushed by eric-wieser
October 23, 2023 22:06 8m 43s eric-wieser/new-ci
eric-wieser/new-ci
October 23, 2023 22:06 8m 43s
Upgrade Lean and mathlib .github/workflows/ci.yml #148: Pull request #148 synchronize by eric-wieser
October 23, 2023 21:53 12m 21s mathlib-bump
mathlib-bump
October 23, 2023 21:53 12m 21s
allow noisy files .github/workflows/ci.yml #147: Commit ceec5e1 pushed by eric-wieser
October 23, 2023 21:53 13m 49s mathlib-bump
mathlib-bump
October 23, 2023 21:53 13m 49s
Upgrade Lean and mathlib .github/workflows/ci.yml #146: Pull request #148 synchronize by eric-wieser
October 23, 2023 21:40 13m 56s mathlib-bump
mathlib-bump
October 23, 2023 21:40 13m 56s
replace CI to not use docker, to try and fix memory issues .github/workflows/ci.yml #145: Commit 96ad956 pushed by eric-wieser
October 23, 2023 21:39 11m 9s mathlib-bump
mathlib-bump
October 23, 2023 21:39 11m 9s
empty commit .github/workflows/ci.yml #144: Commit a387be5 pushed by eric-wieser
September 2, 2023 21:04 1h 59m 40s mathlib-bump
mathlib-bump
September 2, 2023 21:04 1h 59m 40s