Skip to content

Actions: Seasawher/lean-book

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
338 workflow runs
338 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #21 from Seasawher/Seasawher/issue19 Deploy to github pages #41: Commit 63d0cf6 pushed by Seasawher
July 4, 2024 11:27 59s main
main
July 4, 2024 11:27 59s
Merge pull request #21 from Seasawher/Seasawher/issue19 Test #41: Commit 63d0cf6 pushed by Seasawher
July 4, 2024 11:27 23s main
main
July 4, 2024 11:27 23s
set site_url parameter Deploy to github pages #40: Pull request #21 opened by Seasawher
July 4, 2024 11:27 27s Seasawher/issue19
Seasawher/issue19
July 4, 2024 11:27 27s
set site_url parameter Test #40: Pull request #21 opened by Seasawher
July 4, 2024 11:27 24s Seasawher/issue19
Seasawher/issue19
July 4, 2024 11:27 24s
Merge pull request #20 from Seasawher/auto-update/patch-x921aby Test #39: Commit 5fc3a97 pushed by Seasawher
July 4, 2024 11:21 24s main
main
July 4, 2024 11:21 24s
Merge pull request #20 from Seasawher/auto-update/patch-x921aby Deploy to github pages #39: Commit 5fc3a97 pushed by Seasawher
July 4, 2024 11:21 44s main
main
July 4, 2024 11:21 44s
Update Lean Update Lean #8: Scheduled
July 4, 2024 11:02 40s main
main
July 4, 2024 11:02 40s
Update Lean Update Lean #7: Scheduled
June 27, 2024 11:01 29s main
main
June 27, 2024 11:01 29s
Merge pull request #17 from Seasawher/auto-update/patch-ytnror4 Deploy to github pages #38: Commit 0f72eb1 pushed by Seasawher
June 20, 2024 11:41 46s main
main
June 20, 2024 11:41 46s
Merge pull request #17 from Seasawher/auto-update/patch-ytnror4 Test #38: Commit 0f72eb1 pushed by Seasawher
June 20, 2024 11:41 20s main
main
June 20, 2024 11:41 20s
Update Lean Update Lean #6: Scheduled
June 20, 2024 11:01 30s main
main
June 20, 2024 11:01 30s
Merge pull request #16 from Seasawher/auto-update/patch-ieqiup6 Test #37: Commit 1c54c92 pushed by Seasawher
June 14, 2024 00:44 19s main
main
June 14, 2024 00:44 19s
Merge pull request #16 from Seasawher/auto-update/patch-ieqiup6 Deploy to github pages #37: Commit 1c54c92 pushed by Seasawher
June 14, 2024 00:44 36s main
main
June 14, 2024 00:44 36s
Update Lean Update Lean #5: Manually run by Seasawher
June 14, 2024 00:43 36s main
main
June 14, 2024 00:43 36s
Create update.yml Test #36: Commit f368c72 pushed by Seasawher
June 14, 2024 00:43 32s main
main
June 14, 2024 00:43 32s
Create update.yml Deploy to github pages #36: Commit f368c72 pushed by Seasawher
June 14, 2024 00:43 37s main
main
June 14, 2024 00:43 37s
Merge pull request #15 from Seasawher/dependabot/github_actions/leanp… Test #35: Commit 6325884 pushed by Seasawher
May 22, 2024 10:31 27s main
main
May 22, 2024 10:31 27s
Merge pull request #15 from Seasawher/dependabot/github_actions/leanp… Deploy to github pages #35: Commit 6325884 pushed by Seasawher
May 22, 2024 10:31 43s main
main
May 22, 2024 10:31 43s
Bump leanprover/lean-action from 1.pre.alpha to 1.pre.beta Test #34: Pull request #15 opened by dependabot bot
May 22, 2024 10:25 25s dependabot/github_actions/leanprover/lean-action-1.pre.beta
dependabot/github_actions/leanprover/lean-action-1.pre.beta
May 22, 2024 10:25 25s
Bump leanprover/lean-action from 1.pre.alpha to 1.pre.beta Deploy to github pages #34: Pull request #15 opened by dependabot bot
May 22, 2024 10:25 29s dependabot/github_actions/leanprover/lean-action-1.pre.beta
dependabot/github_actions/leanprover/lean-action-1.pre.beta
May 22, 2024 10:25 29s
Merge pull request #13 from Seasawher/dependabot/github_actions/actio… Test #33: Commit 8a1eb6c pushed by Seasawher
May 18, 2024 17:10 18s main
main
May 18, 2024 17:10 18s
Merge pull request #13 from Seasawher/dependabot/github_actions/actio… Deploy to github pages #33: Commit 8a1eb6c pushed by Seasawher
May 18, 2024 17:10 41s main
main
May 18, 2024 17:10 41s
Merge pull request #12 from Seasawher/dependabot/github_actions/peace… Test #32: Commit 06642a0 pushed by Seasawher
May 18, 2024 17:09 17s main
main
May 18, 2024 17:09 17s
Merge pull request #12 from Seasawher/dependabot/github_actions/peace… Deploy to github pages #32: Commit 06642a0 pushed by Seasawher
May 18, 2024 17:09 34s main
main
May 18, 2024 17:09 34s
Merge pull request #11 from Seasawher/dependabot/github_actions/actio… Test #31: Commit 2674d7c pushed by Seasawher
May 18, 2024 17:09 16s main
main
May 18, 2024 17:09 16s
ProTip! You can narrow down the results and go further in time using created:<2024-05-18 or the other filters available.