Skip to content

Actions: FormalizedFormalLogic/Catalogue

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
104 workflow runs
104 workflow runs

Filter by Workflow

⌥ + click/return to exclude

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
build(deps): bump actions/deploy-pages from 4 to 5 Actionlint #22: Commit 2e97892 pushed by dependabot Bot
21s dependabot/github_actions/actions/deploy-pages-5
dependabot/github_actions/actions/deploy-pages-5
21s
github_actions in /. - Update #1303324979 Dependabot Updates #15: by dependabot Bot
37s main
main
37s
github_actions in /. - Update #1291869538 Dependabot Updates #14: by dependabot Bot
41s main
main
41s
github_actions in /. - Update #1283919828 Dependabot Updates #13: by dependabot Bot
38s main
main
38s
github_actions in /. - Update #1275529289 Dependabot Updates #12: by dependabot Bot
34s main
main
34s
github_actions in /. - Update #1267854781 Dependabot Updates #11: by dependabot Bot
26s main
main
26s
build(deps): bump actions/checkout from 4 to 6 CI #42: Pull request #25 opened by dependabot Bot
4m 16s dependabot/github_actions/actions/checkout-6
dependabot/github_actions/actions/checkout-6
4m 16s
build(deps): bump actions/checkout from 4 to 6 Actionlint #21: Commit 9b3f316 pushed by dependabot Bot
13s dependabot/github_actions/actions/checkout-6
dependabot/github_actions/actions/checkout-6
13s
github_actions in /. - Update #1258231661 Dependabot Updates #10: by dependabot Bot
45s main
main
45s
ci: Change cache strategy CI #41: Pull request #23 synchronize by SnO2WMaN
30m 0s change-cache-strategy
change-cache-strategy
30m 0s
ci: Change cache strategy CI #40: Pull request #23 synchronize by SnO2WMaN
1m 25s change-cache-strategy
change-cache-strategy
1m 25s
Merge branch 'main' into change-cache-strategy Actionlint #20: Commit adfa3e0 pushed by SnO2WMaN
12s change-cache-strategy
change-cache-strategy
12s
ci: Fix actionlint error (#24) Actionlint #19: Commit d5e2858 pushed by SnO2WMaN
19s main
main
19s
ci: Fix actionlint error (#24) CI #39: Commit d5e2858 pushed by SnO2WMaN
2m 14s main
main
2m 14s
ci: Fix actionlint error CI #38: Pull request #24 opened by SnO2WMaN
1m 58s fix-actionlint-error
fix-actionlint-error
1m 58s
ci: Fix actionlint error Actionlint #18: Commit 49bbd03 pushed by SnO2WMaN
14s fix-actionlint-error
fix-actionlint-error
14s
ci: Change cache strategy CI #37: Pull request #23 synchronize by SnO2WMaN
4m 15s change-cache-strategy
change-cache-strategy
4m 15s
update trigger Actionlint #17: Commit 60c6f98 pushed by SnO2WMaN
12s change-cache-strategy
change-cache-strategy
12s
ci: Change cache strategy CI #36: Pull request #23 opened by SnO2WMaN
1m 32s change-cache-strategy
change-cache-strategy
1m 32s
ci: Change cache strategy Actionlint #16: Commit 7d42504 pushed by SnO2WMaN
16s change-cache-strategy
change-cache-strategy
16s
ci: Add deps updator (#22) CI #35: Commit 451a2c6 pushed by SnO2WMaN
2m 19s main
main
2m 19s
ci: Add deps updator (#22) Actionlint #15: Commit 451a2c6 pushed by SnO2WMaN
18s main
main
18s
ci: Add deps updator CI #34: Pull request #22 opened by SnO2WMaN
2m 26s update-deps
update-deps
2m 26s
ci: Add deps updator Actionlint #14: Commit 811b1eb pushed by SnO2WMaN
19s update-deps
update-deps
19s
fix: Löb's theorem statement (#21) CI #33: Commit 4a30665 pushed by SnO2WMaN
2m 54s main
main
2m 54s