Skip to content

Actions: fpvandoorn/LeanCourse25

Actions

.github/workflows/push_pr.yml

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
push_pr.yml
12 workflow runs
12 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Bump leanprover/lean-action from 1.3.0 to 1.4.0 .github/workflows/push_pr.yml #12: Pull request #9 opened by dependabot Bot
1m 40s dependabot/github_actions/leanprover/lean-action-1.4.0
dependabot/github_actions/leanprover/lean-action-1.4.0
1m 40s
hi .github/workflows/push_pr.yml #11: Pull request #8 reopened by hanjiadong0
1m 28s hanjiadong0:master
hanjiadong0:master
1m 28s
hi .github/workflows/push_pr.yml #10: Pull request #8 opened by hanjiadong0
1m 45s hanjiadong0:master
hanjiadong0:master
1m 45s
now .github/workflows/push_pr.yml #9: Pull request #7 opened by hanjiadong0
1m 31s hanjiadong0:master
hanjiadong0:master
1m 31s
Bump actions/checkout from 5 to 6 .github/workflows/push_pr.yml #8: Pull request #6 opened by dependabot Bot
1m 36s dependabot/github_actions/actions/checkout-6
dependabot/github_actions/actions/checkout-6
1m 36s
Merge pull request #1 from fpvandoorn/master .github/workflows/push_pr.yml #7: Pull request #4 opened by hanjiadong0
1m 55s hanjiadong0:master
hanjiadong0:master
1m 55s
Exercise .github/workflows/push_pr.yml #6: Pull request #3 opened by hanjiadong0
1m 29s hanjiadong0:han
hanjiadong0:han
1m 29s
Bump actions/checkout from 4 to 5 .github/workflows/push_pr.yml #5: Pull request #2 reopened by fpvandoorn
1m 27s dependabot/github_actions/actions/checkout-5
dependabot/github_actions/actions/checkout-5
1m 27s
Bump actions/checkout from 4 to 5 .github/workflows/push_pr.yml #4: Pull request #2 synchronize by dependabot Bot
1m 37s dependabot/github_actions/actions/checkout-5
dependabot/github_actions/actions/checkout-5
1m 37s
Bump actions/checkout from 4 to 5 .github/workflows/push_pr.yml #3: Pull request #2 synchronize by dependabot Bot
1m 26s dependabot/github_actions/actions/checkout-5
dependabot/github_actions/actions/checkout-5
1m 26s
Bump actions/checkout from 4 to 5 .github/workflows/push_pr.yml #2: Pull request #2 opened by dependabot Bot
1m 24s dependabot/github_actions/actions/checkout-5
dependabot/github_actions/actions/checkout-5
1m 24s
Bump actions/upload-pages-artifact from 3 to 4 .github/workflows/push_pr.yml #1: Pull request #1 opened by dependabot Bot
1m 28s dependabot/github_actions/actions/upload-pages-artifact-4
dependabot/github_actions/actions/upload-pages-artifact-4
1m 28s