Skip to content

Actions: Seasawher/mdgen

Actions

Test

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
test.yml
91 workflow runs
91 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #57 from Seasawher/auto-update/patch-ruuzj51 Test #91: Commit d1585cb pushed by Seasawher
November 7, 2024 11:25 30s main
main
November 7, 2024 11:25 30s
Merge pull request #56 from Seasawher/auto-update/patch-63ljqdq Test #90: Commit 3500acf pushed by Seasawher
October 24, 2024 12:31 29s main
main
October 24, 2024 12:31 29s
update version string Test #89: Commit ea278cb pushed by Seasawher
October 6, 2024 09:10 36s main
main
October 6, 2024 09:10 36s
Merge pull request #55 from Seasawher/Seasawher/issue48 Test #88: Commit 725a4e5 pushed by Seasawher
October 6, 2024 09:02 23s main
main
October 6, 2024 09:02 23s
Seasawher/issue48 Test #87: Pull request #55 opened by Seasawher
October 6, 2024 09:01 28s Seasawher/issue48
Seasawher/issue48
October 6, 2024 09:01 28s
update Lean version Test #86: Commit fbebdaf pushed by Seasawher
October 5, 2024 18:34 32s main
main
October 5, 2024 18:34 32s
add metadata of package Test #85: Commit fd11866 pushed by Seasawher
October 5, 2024 18:27 27s main
main
October 5, 2024 18:27 27s
Merge pull request #54 from Seasawher/auto-update/patch-3kil3z1 Test #84: Commit d07724c pushed by Seasawher
October 3, 2024 11:56 29s main
main
October 3, 2024 11:56 29s
fix version number Test #83: Commit a6f34a4 pushed by Seasawher
September 8, 2024 09:11 39s main
main
September 8, 2024 09:11 39s
fix command name Test #82: Commit ae23b2b pushed by Seasawher
September 8, 2024 09:07 28s main
main
September 8, 2024 09:07 28s
Merge pull request #53 from Seasawher/Seasawher/issue32 Test #81: Commit b6ca4bb pushed by Seasawher
September 6, 2024 16:18 33s main
main
September 6, 2024 16:18 33s
use Cli tool for Lean Test #80: Pull request #53 opened by Seasawher
September 6, 2024 16:18 35s Seasawher/issue32
Seasawher/issue32
September 6, 2024 16:18 35s
Merge pull request #52 from Seasawher/auto-update/patch-t26snik Test #79: Commit 4118223 pushed by Seasawher
September 5, 2024 11:11 23s main
main
September 5, 2024 11:11 23s
Merge pull request #51 from Seasawher/auto-update/patch-fiu8qsk Test #78: Commit bdfc2e3 pushed by Seasawher
August 29, 2024 11:54 24s main
main
August 29, 2024 11:54 24s
test.yml でlean-actionのバージョンを簡潔にする Test #77: Commit 2b320ab pushed by Seasawher
August 27, 2024 09:48 28s main
main
August 27, 2024 09:48 28s
Bump leanprover/lean-action from 1.0.1 to 1.0.2 Test #76: Pull request #50 opened by dependabot bot
August 26, 2024 22:01 30s dependabot/github_actions/leanprover/lean-action-1.0.2
dependabot/github_actions/leanprover/lean-action-1.0.2
August 26, 2024 22:01 30s
Merge pull request #49 from Seasawher/dependabot/github_actions/leanp… Test #75: Commit 1a02b7d pushed by Seasawher
August 21, 2024 06:00 24s main
main
August 21, 2024 06:00 24s
Bump leanprover/lean-action from 1.0.0 to 1.0.1 Test #74: Pull request #49 opened by dependabot bot
August 20, 2024 21:15 21s dependabot/github_actions/leanprover/lean-action-1.0.1
dependabot/github_actions/leanprover/lean-action-1.0.1
August 20, 2024 21:15 21s
Merge pull request #47 from Seasawher/auto-update/patch-e8ppins Test #73: Commit 6d86fc9 pushed by Seasawher
August 15, 2024 11:51 24s main
main
August 15, 2024 11:51 24s
Merge pull request #46 from Seasawher/auto-update/patch-8skw9vs Test #72: Commit bddd1ec pushed by Seasawher
August 8, 2024 11:01 20s main
main
August 8, 2024 11:01 20s
Merge pull request #45 from Seasawher/auto-update/patch-9bjpiy2 Test #71: Commit 649fac1 pushed by Seasawher
August 1, 2024 13:06 21s main
main
August 1, 2024 13:06 21s
Merge pull request #44 from Seasawher/dependabot/github_actions/leanp… Test #70: Commit 1794832 pushed by Seasawher
July 23, 2024 02:45 22s main
main
July 23, 2024 02:45 22s
Bump leanprover/lean-action from 1.pre.beta to 1.0.0 Test #69: Pull request #44 opened by dependabot bot
July 22, 2024 22:01 25s dependabot/github_actions/leanprover/lean-action-1.0.0
dependabot/github_actions/leanprover/lean-action-1.0.0
July 22, 2024 22:01 25s
Merge pull request #43 from Seasawher/auto-update/patch-0su0rty Test #68: Commit ee11ab8 pushed by Seasawher
July 11, 2024 11:12 23s main
main
July 11, 2024 11:12 23s
Merge pull request #42 from Seasawher/auto-update/patch-bxpijx4 Test #67: Commit 23a4449 pushed by Seasawher
July 4, 2024 11:14 20s main
main
July 4, 2024 11:14 20s