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

Actions: leanprover/LeanInk

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
August 23, 2023 03:24 6m 28s