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 #11 from Seasawher/dependabot/github_actions/actio… Deploy to github pages #31: Commit 2674d7c pushed by Seasawher
May 18, 2024 17:09 35s main
main
May 18, 2024 17:09 35s
Bump actions/upload-pages-artifact from 2 to 3 Test #30: Pull request #13 opened by dependabot bot
May 18, 2024 17:08 17s dependabot/github_actions/actions/upload-pages-artifact-3
dependabot/github_actions/actions/upload-pages-artifact-3
May 18, 2024 17:08 17s
Bump actions/upload-pages-artifact from 2 to 3 Deploy to github pages #30: Pull request #13 opened by dependabot bot
May 18, 2024 17:08 35s dependabot/github_actions/actions/upload-pages-artifact-3
dependabot/github_actions/actions/upload-pages-artifact-3
May 18, 2024 17:08 35s
Bump peaceiris/actions-mdbook from 1 to 2 Deploy to github pages #29: Pull request #12 opened by dependabot bot
May 18, 2024 17:08 4s dependabot/github_actions/peaceiris/actions-mdbook-2
dependabot/github_actions/peaceiris/actions-mdbook-2
May 18, 2024 17:08 4s
Bump peaceiris/actions-mdbook from 1 to 2 Test #29: Pull request #12 opened by dependabot bot
May 18, 2024 17:08 17s dependabot/github_actions/peaceiris/actions-mdbook-2
dependabot/github_actions/peaceiris/actions-mdbook-2
May 18, 2024 17:08 17s
Bump actions/deploy-pages from 3 to 4 Deploy to github pages #28: Pull request #11 opened by dependabot bot
May 18, 2024 17:08 5s dependabot/github_actions/actions/deploy-pages-4
dependabot/github_actions/actions/deploy-pages-4
May 18, 2024 17:08 5s
Bump actions/deploy-pages from 3 to 4 Test #28: Pull request #11 opened by dependabot bot
May 18, 2024 17:08 22s dependabot/github_actions/actions/deploy-pages-4
dependabot/github_actions/actions/deploy-pages-4
May 18, 2024 17:08 22s
use leanprover/lean-action Deploy to github pages #27: Commit cc0fc85 pushed by Seasawher
May 18, 2024 17:08 43s main
main
May 18, 2024 17:08 43s
use leanprover/lean-action Test #27: Commit cc0fc85 pushed by Seasawher
May 18, 2024 17:08 28s main
main
May 18, 2024 17:08 28s
Delete .github/workflows/update.yml Deploy to github pages #26: Commit 04f541b pushed by Seasawher
May 18, 2024 15:09 43s main
main
May 18, 2024 15:09 43s
Delete .github/workflows/update.yml Test #26: Commit 04f541b pushed by Seasawher
May 18, 2024 15:09 17s main
main
May 18, 2024 15:09 17s
update version of lean-update-action Deploy to github pages #25: Commit d38122c pushed by Seasawher
May 16, 2024 14:21 39s main
main
May 16, 2024 14:21 39s
update version of lean-update-action Test #25: Commit d38122c pushed by Seasawher
May 16, 2024 14:21 19s main
main
May 16, 2024 14:21 19s
update version of lean-update-action Update Lean #4: Commit d38122c pushed by Seasawher
May 16, 2024 14:21 15s main
main
May 16, 2024 14:21 15s
Update Lean Update Lean #3: Scheduled
May 16, 2024 11:03 15s main
main
May 16, 2024 11:03 15s
Merge pull request #8 from Seasawher/auto-update/patch-dfddjo7 Update Lean #2: Commit 911209c pushed by Seasawher
May 12, 2024 10:19 30s main
main
May 12, 2024 10:19 30s
Merge pull request #8 from Seasawher/auto-update/patch-dfddjo7 Deploy to github pages #24: Commit 911209c pushed by Seasawher
May 12, 2024 10:19 44s main
main
May 12, 2024 10:19 44s
Merge pull request #8 from Seasawher/auto-update/patch-dfddjo7 Test #24: Commit 911209c pushed by Seasawher
May 12, 2024 10:19 16s main
main
May 12, 2024 10:19 16s
add workflow update.yml for auto updating Lean Update Lean #1: Commit f3c5d53 pushed by Seasawher
May 12, 2024 10:17 25s main
main
May 12, 2024 10:17 25s
add workflow update.yml for auto updating Lean Deploy to github pages #23: Commit f3c5d53 pushed by Seasawher
May 12, 2024 10:17 37s main
main
May 12, 2024 10:17 37s
add workflow update.yml for auto updating Lean Test #23: Commit f3c5d53 pushed by Seasawher
May 12, 2024 10:17 18s main
main
May 12, 2024 10:17 18s
update Lean version Deploy to github pages #22: Commit a191f70 pushed by Seasawher
May 4, 2024 07:05 35s main
main
May 4, 2024 07:05 35s
update Lean version Test #22: Commit a191f70 pushed by Seasawher
May 4, 2024 07:05 23s main
main
May 4, 2024 07:05 23s
add warning on "use this template" button on GitHub UI Deploy to github pages #21: Commit b2445c6 pushed by Seasawher
April 19, 2024 02:07 43s main
main
April 19, 2024 02:07 43s
add warning on "use this template" button on GitHub UI Test #21: Commit b2445c6 pushed by Seasawher
April 19, 2024 02:07 22s main
main
April 19, 2024 02:07 22s
ProTip! You can narrow down the results and go further in time using created:<2024-04-19 or the other filters available.