Skip to content

Actions: lean-ja/lean99

Actions

Test

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
192 workflow runs
192 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

version update Test #192: Commit cc5007d pushed by Seasawher
December 5, 2024 11:31 33s main
main
December 5, 2024 11:31 33s
version update Test #191: Commit 8587d78 pushed by Seasawher
November 8, 2024 15:44 25s main
main
November 8, 2024 15:44 25s
Merge pull request #46 from lean-ja/auto-update/patch-mwl56vz Test #190: Commit 2bd826b pushed by Seasawher
October 31, 2024 11:45 28s main
main
October 31, 2024 11:45 28s
add section Test #189: Commit 229cb7b pushed by Seasawher
October 26, 2024 02:08 22s main
main
October 26, 2024 02:08 22s
remove redundant v Test #188: Commit fd1f42b pushed by Seasawher
October 26, 2024 01:41 20s main
main
October 26, 2024 01:41 20s
fix mistakes in Problem55 Test #187: Commit 168ef86 pushed by Seasawher
October 26, 2024 01:19 23s main
main
October 26, 2024 01:19 23s
use List.mergeSort instead of hand-made insertionSort Test #186: Commit af78aec pushed by Seasawher
October 26, 2024 01:03 30s main
main
October 26, 2024 01:03 30s
update problem name Test #185: Commit 893e9cc pushed by Seasawher
October 26, 2024 00:56 20s main
main
October 26, 2024 00:56 20s
Merge pull request #45 from lean-ja/auto-update/patch-c5s17rh Test #184: Commit 5450c08 pushed by Seasawher
October 24, 2024 12:32 22s main
main
October 24, 2024 12:32 22s
Merge pull request #44 from lean-ja/auto-update/patch-0sokk1w Test #183: Commit b9200cf pushed by Seasawher
October 17, 2024 11:26 20s main
main
October 17, 2024 11:26 20s
Merge branch 'main' of https://github.com/lean-ja/lean99 Test #182: Commit 64a91f1 pushed by Seasawher
October 11, 2024 15:30 26s main
main
October 11, 2024 15:30 26s
Merge pull request #42 from lean-ja/auto-update/patch-mg228ot Test #181: Commit ec928aa pushed by Seasawher
October 3, 2024 11:56 29s main
main
October 3, 2024 11:56 29s
Merge pull request #41 from lean-ja/auto-update/patch-iodqfw5 Test #180: Commit 68adf97 pushed by Seasawher
September 12, 2024 11:56 26s main
main
September 12, 2024 11:56 26s
Lean version update Test #179: Commit a0c10a2 pushed by Seasawher
September 5, 2024 12:07 32s main
main
September 5, 2024 12:07 32s
Merge branch 'Aug19' Test #178: Commit 5e5795f pushed by Seasawher
September 2, 2024 14:51 30s main
main
September 2, 2024 14:51 30s
make progress Test #177: Pull request #35 synchronize by Seasawher
September 2, 2024 14:51 25s Aug19
Aug19
September 2, 2024 14:51 25s
make progress Test #176: Pull request #35 synchronize by Seasawher
September 2, 2024 13:19 23s Aug19
Aug19
September 2, 2024 13:19 23s
Merge pull request #39 from lean-ja/auto-update/patch-9durf7h Test #175: Commit 9598717 pushed by Seasawher
August 29, 2024 11:55 34s main
main
August 29, 2024 11:55 34s
Update ci.yml Test #174: Commit 0aeeb95 pushed by Seasawher
August 26, 2024 14:21 28s main
main
August 26, 2024 14:21 28s
make progress Test #173: Pull request #35 synchronize by Seasawher
August 26, 2024 14:20 22s Aug19
Aug19
August 26, 2024 14:20 22s
make progress Test #172: Pull request #35 synchronize by Seasawher
August 26, 2024 13:15 32s Aug19
Aug19
August 26, 2024 13:15 32s
Bump leanprover/lean-action from 1.0.1 to 1.0.2 Test #171: Pull request #38 opened by dependabot bot
August 26, 2024 08:16 21s dependabot/github_actions/leanprover/lean-action-1.0.2
dependabot/github_actions/leanprover/lean-action-1.0.2
August 26, 2024 08:16 21s
Merge pull request #37 from lean-ja/auto-update/patch-n5bv8ab Test #170: Commit 7ab42ae pushed by Seasawher
August 22, 2024 11:30 33s main
main
August 22, 2024 11:30 33s
Merge pull request #36 from lean-ja/dependabot/github_actions/leanpro… Test #169: Commit e1e7c8b pushed by Seasawher
August 21, 2024 09:47 26s main
main
August 21, 2024 09:47 26s
Bump leanprover/lean-action from 1.0.0 to 1.0.1 Test #168: Pull request #36 opened by dependabot bot
August 21, 2024 08:43 20s dependabot/github_actions/leanprover/lean-action-1.0.1
dependabot/github_actions/leanprover/lean-action-1.0.1
August 21, 2024 08:43 20s