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

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
make progress Deploy to github pages #176: Pull request #35 synchronize by Seasawher
September 2, 2024 13:19 31s Aug19
Aug19
September 2, 2024 13:19 31s
github_actions in /. - Update #877744992 Dependabot Updates #35: by dependabot bot
September 2, 2024 08:37 40s
September 2, 2024 08:37 40s
github_actions in /. - Update #876442966 Dependabot Updates #34: by dependabot bot
August 30, 2024 08:26 40s
August 30, 2024 08:26 40s
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
Merge pull request #39 from lean-ja/auto-update/patch-9durf7h Deploy to github pages #175: Commit 9598717 pushed by Seasawher
August 29, 2024 11:55 53s main
main
August 29, 2024 11:55 53s
Update Lean Update Lean #11: Scheduled
August 29, 2024 11:10 35s main
main
August 29, 2024 11:10 35s
github_actions in /. - Update #875892351 Dependabot Updates #33: by dependabot bot
August 29, 2024 08:43 43s
August 29, 2024 08:43 43s
github_actions in /. - Update #875343393 Dependabot Updates #32: by dependabot bot
August 28, 2024 08:28 38s
August 28, 2024 08:28 38s
github_actions in /. - Update #874781041 Dependabot Updates #31: by dependabot bot
August 27, 2024 08:10 43s
August 27, 2024 08:10 43s
github_actions in /. for leanprover/lean-action - Update #874202870 Dependabot Updates #30: by dependabot bot
August 26, 2024 14:22 40s
August 26, 2024 14:22 40s
Update ci.yml Test #174: Commit 0aeeb95 pushed by Seasawher
August 26, 2024 14:21 28s main
main
August 26, 2024 14:21 28s
Update ci.yml Deploy to github pages #174: Commit 0aeeb95 pushed by Seasawher
August 26, 2024 14:21 57s main
main
August 26, 2024 14:21 57s
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 Deploy to github pages #173: Pull request #35 synchronize by Seasawher
August 26, 2024 14:20 29s Aug19
Aug19
August 26, 2024 14:20 29s
make progress Deploy to github pages #172: Pull request #35 synchronize by Seasawher
August 26, 2024 13:15 32s Aug19
Aug19
August 26, 2024 13:15 32s
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
Bump leanprover/lean-action from 1.0.1 to 1.0.2 Deploy to github pages #171: Pull request #38 opened by dependabot bot
August 26, 2024 08:16 31s dependabot/github_actions/leanprover/lean-action-1.0.2
dependabot/github_actions/leanprover/lean-action-1.0.2
August 26, 2024 08:16 31s
github_actions in /. - Update #873945524 Dependabot Updates #29: by dependabot bot
August 26, 2024 08:16 39s
August 26, 2024 08:16 39s
github_actions in /. - Update #873156160 Dependabot Updates #28: by dependabot bot
August 23, 2024 08:18 38s
August 23, 2024 08:18 38s
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 #37 from lean-ja/auto-update/patch-n5bv8ab Deploy to github pages #170: Commit 7ab42ae pushed by Seasawher
August 22, 2024 11:30 55s main
main
August 22, 2024 11:30 55s
Update Lean Update Lean #10: Scheduled
August 22, 2024 11:09 31s main
main
August 22, 2024 11:09 31s