Skip to content
This repository has been archived by the owner on Aug 24, 2024. It is now read-only.

Actions: leanprover/LeanInk

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
33 workflow runs
33 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix: handle lakefile.toml CI #224: Commit 799e0fa pushed by mhuisi
July 18, 2024 13:11 1m 5s main
main
July 18, 2024 13:11 1m 5s
fix: handle lakefile.toml CI #223: Pull request #58 opened by gaetanserre
July 18, 2024 12:18 1m 7s gaetanserre:main
gaetanserre:main
July 18, 2024 12:18 1m 7s
test: update tests CI #222: Commit c54475d pushed by mhuisi
February 2, 2024 10:38 5m 50s main
main
February 2, 2024 10:38 5m 50s
chore: bump for lean4#3159 CI #221: Pull request #57 synchronize by mhuisi
February 2, 2024 10:36 1m 25s bump-3159
bump-3159
February 2, 2024 10:36 1m 25s
chore: bump for lean4#3159 CI #220: Pull request #57 synchronize by mhuisi
February 2, 2024 10:29 1m 3s bump-3159
bump-3159
February 2, 2024 10:29 1m 3s
chore: bump for lean4#3159 CI #219: Pull request #57 synchronize by mhuisi
January 11, 2024 12:35 46s bump-3159
bump-3159
January 11, 2024 12:35 46s
chore: bump for lean4#3159 CI #218: Pull request #57 synchronize by mhuisi
January 11, 2024 12:27 32s bump-3159
bump-3159
January 11, 2024 12:27 32s
chore: bump for lean4#3159 CI #217: Pull request #57 opened by mhuisi
January 11, 2024 10:10 1m 7s bump-3159
bump-3159
January 11, 2024 10:10 1m 7s
chore: update tests by lake script run capture CI #216: Commit 58755bf pushed by mhuisi
January 10, 2024 08:04 3m 38s main
main
January 10, 2024 08:04 3m 38s
fix: print-paths changed to setup-file in Lean v4.4.0 CI #215: Pull request #55 synchronize by utensil
December 12, 2023 10:39 4m 56s utensil:fix-print-path
utensil:fix-print-path
December 12, 2023 10:39 4m 56s
fix: print-paths changed to setup-file in Lean v4.4.0 CI #214: Pull request #55 synchronize by utensil
December 12, 2023 05:54 1m 38s utensil:fix-print-path
utensil:fix-print-path
December 12, 2023 05:54 1m 38s
fix: print-paths changed to setup-file in Lean v4.4.0 CI #213: Pull request #55 opened by utensil
December 11, 2023 13:03 2m 26s utensil:fix-print-path
utensil:fix-print-path
December 11, 2023 13:03 2m 26s
chore: bump to nightly-2023-08-19 CI #212: Commit 28ff6ce pushed by kim-em
August 23, 2023 05:36 4m 44s main
main
August 23, 2023 05:36 4m 44s
chore: bump to nightly-2023-08-19 CI #211: Pull request #54 opened by kim-em
August 23, 2023 05:25 7m 13s kim-em:bump2
kim-em:bump2
August 23, 2023 05:25 7m 13s
chore: clean up unused arguments (#53) CI #210: Commit b09963d pushed by kim-em
August 23, 2023 04:47 4m 47s main
main
August 23, 2023 04:47 4m 47s
chore: clean up unused arguments CI #209: Pull request #53 opened by kim-em
August 23, 2023 04:28 4m 14s kim-em:unused_arguments
kim-em:unused_arguments
August 23, 2023 04:28 4m 14s
chore: bump to nightly-2023-04-11 (#52) CI #208: Commit b61950e pushed by kim-em
August 23, 2023 04:18 6m 1s main
main
August 23, 2023 04:18 6m 1s
chore: bump to nightly-2023-04-11 CI #207: Pull request #52 synchronize by kim-em
August 23, 2023 04:14 4m 16s kim-em:bump
kim-em:bump
August 23, 2023 04:14 4m 16s
Merge pull request #51 from semorrison/pin_mathlib CI #206: Commit 991d129 pushed by kim-em
August 23, 2023 04:13 4m 28s main
main
August 23, 2023 04:13 4m 28s
chore: bump to nightly-2023-04-11 CI #205: Pull request #52 opened by kim-em
August 23, 2023 04:10 4m 26s kim-em:bump
kim-em:bump
August 23, 2023 04:10 4m 26s
chore: pin a Mathlib commit for tests CI #204: Pull request #51 opened by kim-em
August 23, 2023 04:01 4m 24s kim-em:pin_mathlib
kim-em:pin_mathlib
August 23, 2023 04:01 4m 24s
Merge pull request #50 from semorrison/paths CI #203: Commit 685a4f1 pushed by kim-em
August 23, 2023 03:54 9m 7s main
main
August 23, 2023 03:54 9m 7s
chore: correct some paths CI #202: Pull request #50 synchronize by kim-em
August 23, 2023 03:54 4m 3s kim-em:paths
kim-em:paths
August 23, 2023 03:54 4m 3s
chore: correct some paths CI #201: Pull request #50 opened by kim-em
August 23, 2023 03:53 6m 38s kim-em:paths
kim-em:paths
August 23, 2023 03:53 6m 38s
chore: bump to nightly-2023-08-19 CI #200: Pull request #48 synchronize by kim-em
August 23, 2023 03:24 6m 28s kim-em:bump-nightly-2023-08-19
kim-em:bump-nightly-2023-08-19
August 23, 2023 03:24 6m 28s