Skip to content

Actions: Seasawher/mk-exercise

Actions

Test

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
test.yml
74 workflow runs
74 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #53 from Seasawher/auto-update/patch-sxlfgui Test #74: Commit f487825 pushed by Seasawher
February 6, 2025 12:11 26s main
main
February 6, 2025 12:11 26s
version update Test #73: Commit 468ad58 pushed by Seasawher
January 24, 2025 10:25 37s main
main
January 24, 2025 10:25 37s
Merge pull request #49 from Seasawher/auto-update/patch-tkoh53g Test #72: Commit ff99a9b pushed by Seasawher
December 5, 2024 11:20 26s main
main
December 5, 2024 11:20 26s
Merge pull request #48 from Seasawher/auto-update/patch-qo3nint Test #71: Commit 97c8a35 pushed by Seasawher
November 7, 2024 11:26 24s main
main
November 7, 2024 11:26 24s
Merge pull request #47 from Seasawher/auto-update/patch-kh9e0de Test #70: Commit 4f5a57c pushed by Seasawher
October 24, 2024 12:31 31s main
main
October 24, 2024 12:31 31s
Merge pull request #46 from Seasawher/Seasawher/issue36 Test #69: Commit 14d53f0 pushed by Seasawher
October 19, 2024 16:00 42s main
main
October 19, 2024 16:00 42s
replace selected range Test #68: Pull request #46 synchronize by Seasawher
October 19, 2024 15:59 28s Seasawher/issue36
Seasawher/issue36
October 19, 2024 15:59 28s
replace selected range Test #67: Pull request #46 opened by Seasawher
October 19, 2024 15:56 43s Seasawher/issue36
Seasawher/issue36
October 19, 2024 15:56 43s
Merge pull request #45 from Seasawher/auto-update/patch-qwd1z28 Test #66: Commit e998043 pushed by Seasawher
October 10, 2024 11:18 33s main
main
October 10, 2024 11:18 33s
refactor: extract handling ignore pattern Test #65: Commit aa6a085 pushed by Seasawher
October 6, 2024 10:30 28s main
main
October 6, 2024 10:30 28s
Merge pull request #44 from Seasawher/auto-update/patch-x7tp6cb Test #64: Commit 9329da6 pushed by Seasawher
October 3, 2024 11:56 25s main
main
October 3, 2024 11:56 25s
Test Test #63: Manually run by Seasawher
September 25, 2024 21:29 36s test-auto-update
test-auto-update
September 25, 2024 21:29 36s
add workflow_dispatch trigger Test #62: Commit ee574d8 pushed by Seasawher
September 25, 2024 21:29 35s main
main
September 25, 2024 21:29 35s
Merge pull request #42 from Seasawher/Seasawher/issue41 Test #61: Commit 17d740e pushed by Seasawher
September 8, 2024 10:24 23s main
main
September 8, 2024 10:24 23s
fix command name Test #60: Pull request #42 opened by Seasawher
September 8, 2024 10:24 29s Seasawher/issue41
Seasawher/issue41
September 8, 2024 10:24 29s
change file name Test #59: Commit 7d99b9c pushed by Seasawher
September 6, 2024 15:44 38s main
main
September 6, 2024 15:44 38s
Merge pull request #40 from Seasawher/cli Test #58: Commit 591ed93 pushed by Seasawher
September 6, 2024 15:37 42s main
main
September 6, 2024 15:37 42s
use lean4-cli Test #57: Pull request #40 opened by Seasawher
September 6, 2024 15:36 41s cli
cli
September 6, 2024 15:36 41s
Merge pull request #39 from Seasawher/auto-update/patch-rlxip7t Test #56: Commit 79408f0 pushed by Seasawher
September 5, 2024 11:12 29s main
main
September 5, 2024 11:12 29s
release build を取得しない Test #55: Commit 8a8526d pushed by Seasawher
September 2, 2024 15:03 26s main
main
September 2, 2024 15:03 26s
update Lean to v4.11.0 Test #54: Commit eb0d762 pushed by Seasawher
September 2, 2024 13:02 30s main
main
September 2, 2024 13:02 30s
fix typo in README Test #53: Commit 5c852be pushed by Seasawher
September 2, 2024 13:01 23s main
main
September 2, 2024 13:01 23s
use simply v1 Test #52: Commit 3e49182 pushed by Seasawher
September 1, 2024 15:03 36s main
main
September 1, 2024 15:03 36s
don't run exe in CI Test #51: Commit e428f4d pushed by Seasawher
September 1, 2024 14:53 23s main
main
September 1, 2024 14:53 23s
TEST: add release build option Test #50: Commit d800631 pushed by Seasawher
September 1, 2024 14:21 20s main
main
September 1, 2024 14:21 20s