Skip to content

Actions: lean-ja/lean99

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
500 workflow runs
500 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

github_actions in /. - Update #872654089 Dependabot Updates #27: by dependabot bot
August 22, 2024 08:46 42s
August 22, 2024 08:46 42s
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
Merge pull request #36 from lean-ja/dependabot/github_actions/leanpro… Deploy to github pages #169: Commit e1e7c8b pushed by Seasawher
August 21, 2024 09:47 58s main
main
August 21, 2024 09:47 58s
Bump leanprover/lean-action from 1.0.0 to 1.0.1 Deploy to github pages #168: Pull request #36 opened by dependabot bot
August 21, 2024 08:43 41s dependabot/github_actions/leanprover/lean-action-1.0.1
dependabot/github_actions/leanprover/lean-action-1.0.1
August 21, 2024 08:43 41s
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
github_actions in /. - Update #872180191 Dependabot Updates #26: by dependabot bot
August 21, 2024 08:42 45s
August 21, 2024 08:42 45s
github_actions in /. - Update #871687620 Dependabot Updates #25: by dependabot bot
August 20, 2024 09:03 38s
August 20, 2024 09:03 38s
make progress Test #167: Pull request #35 opened by Seasawher
August 19, 2024 14:20 24s Aug19
Aug19
August 19, 2024 14:20 24s
make progress Deploy to github pages #167: Pull request #35 opened by Seasawher
August 19, 2024 14:20 31s Aug19
Aug19
August 19, 2024 14:20 31s
github_actions in /. - Update #870904343 Dependabot Updates #24: by dependabot bot
August 19, 2024 08:10 40s
August 19, 2024 08:10 40s
Merge branch 'main' of https://github.com/lean-ja/lean99 Deploy to github pages #166: Commit 249f787 pushed by Seasawher
August 16, 2024 18:19 50s main
main
August 16, 2024 18:19 50s
Merge branch 'main' of https://github.com/lean-ja/lean99 Test #166: Commit 249f787 pushed by Seasawher
August 16, 2024 18:19 31s main
main
August 16, 2024 18:19 31s
github_actions in /. - Update #870223322 Dependabot Updates #23: by dependabot bot
August 16, 2024 08:57 35s
August 16, 2024 08:57 35s
Merge pull request #34 from lean-ja/auto-update/patch-gh5v9pa Deploy to github pages #165: Commit c29a3e7 pushed by Seasawher
August 15, 2024 11:51 55s main
main
August 15, 2024 11:51 55s
Merge pull request #34 from lean-ja/auto-update/patch-gh5v9pa Test #165: Commit c29a3e7 pushed by Seasawher
August 15, 2024 11:51 32s main
main
August 15, 2024 11:51 32s
Update Lean Update Lean #9: Scheduled
August 15, 2024 11:08 36s main
main
August 15, 2024 11:08 36s
github_actions in /. - Update #869752972 Dependabot Updates #22: by dependabot bot
August 15, 2024 08:36 40s
August 15, 2024 08:36 40s
github_actions in /. - Update #869265408 Dependabot Updates #21: by dependabot bot
August 14, 2024 08:17 42s
August 14, 2024 08:17 42s
github_actions in /. - Update #868798535 Dependabot Updates #20: by dependabot bot
August 13, 2024 09:01 41s
August 13, 2024 09:01 41s
github_actions in /. - Update #868044394 Dependabot Updates #19: by dependabot bot
August 12, 2024 08:54 40s
August 12, 2024 08:54 40s
github_actions in /. - Update #867314272 Dependabot Updates #18: by dependabot bot
August 9, 2024 08:50 40s
August 9, 2024 08:50 40s
Merge pull request #33 from lean-ja/auto-update/patch-dxuh4tk Deploy to github pages #164: Commit ef3158b pushed by Seasawher
August 8, 2024 12:56 1m 30s main
main
August 8, 2024 12:56 1m 30s
Merge pull request #33 from lean-ja/auto-update/patch-dxuh4tk Test #164: Commit ef3158b pushed by Seasawher
August 8, 2024 12:56 25s main
main
August 8, 2024 12:56 25s
Merge pull request #31 from lean-ja/feature/problem55 Deploy to github pages #163: Commit fd59a4d pushed by Seasawher
August 8, 2024 12:55 1m 11s main
main
August 8, 2024 12:55 1m 11s
Merge pull request #31 from lean-ja/feature/problem55 Test #163: Commit fd59a4d pushed by Seasawher
August 8, 2024 12:55 27s main
main
August 8, 2024 12:55 27s