Skip to content

Actions: Seasawher/mk-exercise

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
273 workflow runs
273 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
github_actions in /. - Update #880271569 Dependabot Updates #38: by dependabot bot
September 6, 2024 07:54 34s main
main
September 6, 2024 07:54 34s
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
Update Lean Update Lean #27: Scheduled
September 5, 2024 11:01 31s main
main
September 5, 2024 11:01 31s
github_actions in /. - Update #879725193 Dependabot Updates #37: by dependabot bot
September 5, 2024 07:39 34s main
main
September 5, 2024 07:39 34s
github_actions in /. - Update #879144379 Dependabot Updates #36: by dependabot bot
September 4, 2024 07:34 36s main
main
September 4, 2024 07:34 36s
github_actions in /. - Update #878465083 Dependabot Updates #35: by dependabot bot
September 3, 2024 07:53 41s main
main
September 3, 2024 07:53 41s
Update Lean Update Lean #26: Manually run by Seasawher
September 2, 2024 16:11 43s test-lean-update
test-lean-update
September 2, 2024 16:11 43s
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
github_actions in /. - Update #877701526 Dependabot Updates #34: by dependabot bot
September 2, 2024 07:42 33s main
main
September 2, 2024 07:42 33s
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
github_actions in /. - Update #876423669 Dependabot Updates #33: by dependabot bot
August 30, 2024 07:38 38s main
main
August 30, 2024 07:38 38s
Merge pull request #37 from Seasawher/auto-update/patch-rbh0w4u Test #49: Commit ce84564 pushed by Seasawher
August 29, 2024 11:54 21s main
main
August 29, 2024 11:54 21s
Update Lean Update Lean #25: Scheduled
August 29, 2024 11:01 32s main
main
August 29, 2024 11:01 32s
github_actions in /. - Update #875862060 Dependabot Updates #32: by dependabot bot
August 29, 2024 07:34 36s main
main
August 29, 2024 07:34 36s
github_actions in /. - Update #875329461 Dependabot Updates #31: by dependabot bot
August 28, 2024 07:59 38s main
main
August 28, 2024 07:59 38s
github_actions in /. - Update #874756388 Dependabot Updates #30: by dependabot bot
August 27, 2024 07:13 36s main
main
August 27, 2024 07:13 36s
Merge pull request #35 from Seasawher/dependabot/github_actions/leanp… Test #48: Commit 64a0a0f pushed by Seasawher
August 26, 2024 07:45 20s main
main
August 26, 2024 07:45 20s
Bump leanprover/lean-action from 1.0.1 to 1.0.2 Test #47: Pull request #35 opened by dependabot bot
August 26, 2024 07:36 24s dependabot/github_actions/leanprover/lean-action-1.0.2
dependabot/github_actions/leanprover/lean-action-1.0.2
August 26, 2024 07:36 24s
github_actions in /. - Update #873914770 Dependabot Updates #29: by dependabot bot
August 26, 2024 07:36 37s main
main
August 26, 2024 07:36 37s