Skip to content

Actions: CBirkbeck/LeanBridge

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
109 workflow runs
109 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
blueprint: strip leftover leanblueprint commands (\leanok etc.) from … Blueprint (Verso) #71: Commit 60527ec pushed by CBirkbeck
6m 9s main
main
6m 9s
CI: deploy the Verso blueprint to GitHub Pages Blueprint (Verso) #70: Commit bf3f7f1 pushed by CBirkbeck
9m 37s main
main
9m 37s
github_actions in /. - Update #1244606329 Dependabot Updates #30: by dependabot Bot
21s main
main
21s
github_actions in /. - Update #1237284581 Dependabot Updates #29: by dependabot Bot
39s main
main
39s
github_actions in /. - Update #1229526051 Dependabot Updates #28: by dependabot Bot
32s main
main
32s
Bump actions/checkout from 5.0.0 to 6.0.2 Blueprint (Verso) #69: Pull request #12 opened by dependabot Bot
5m 36s dependabot/github_actions/actions/checkout-6.0.2
dependabot/github_actions/actions/checkout-6.0.2
5m 36s
github_actions in /. - Update #1220148160 Dependabot Updates #27: by dependabot Bot
33s main
main
33s
Bump leanprover/lean-action from 1.3.0 to 1.4.0 Blueprint (Verso) #68: Pull request #11 opened by dependabot Bot
6m 8s dependabot/github_actions/leanprover/lean-action-1.4.0
dependabot/github_actions/leanprover/lean-action-1.4.0
6m 8s
github_actions in /. - Update #1212415723 Dependabot Updates #26: by dependabot Bot
35s main
main
35s
github_actions in /. - Update #1205744966 Dependabot Updates #25: by dependabot Bot
35s main
main
35s
github_actions in /. - Update #1198282363 Dependabot Updates #24: by dependabot Bot
27s main
main
27s
github_actions in /. - Update #1192005339 Dependabot Updates #23: by dependabot Bot
29s main
main
29s
github_actions in /. - Update #1187503070 Dependabot Updates #22: by dependabot Bot
3m 45s main
main
3m 45s
github_actions in /. - Update #1181891249 Dependabot Updates #21: by dependabot Bot
34s main
main
34s
Bump actions/checkout from 5.0.0 to 6.0.1 Blueprint (Verso) #67: Pull request #10 opened by dependabot Bot
6m 10s dependabot/github_actions/actions/checkout-6.0.1
dependabot/github_actions/actions/checkout-6.0.1
6m 10s
github_actions in /. - Update #1176185311 Dependabot Updates #20: by dependabot Bot
35s main
main
35s
github_actions in /. - Update #1168458143 Dependabot Updates #19: by dependabot Bot
32s main
main
32s
Bump actions/checkout from 5.0.0 to 6.0.0 Blueprint (Verso) #66: Pull request #9 opened by dependabot Bot
5m 56s dependabot/github_actions/actions/checkout-6.0.0
dependabot/github_actions/actions/checkout-6.0.0
5m 56s
github_actions in /. - Update #1161786078 Dependabot Updates #18: by dependabot Bot
34s main
main
34s
chore: fix CI Blueprint (Verso) #65: Commit fe82273 pushed by pitmonticone
12m 53s main
main
12m 53s
github_actions in /. - Update #1153587311 Dependabot Updates #17: by dependabot Bot
15s main
main
15s
github_actions in /. - Update #1146763600 Dependabot Updates #16: by dependabot Bot
30s main
main
30s
github_actions in /. - Update #1140991764 Dependabot Updates #15: by dependabot Bot
32s main
main
32s
Merge remote-tracking branch 'origin/main' Blueprint (Verso) #64: Commit 6faddd7 pushed by CBirkbeck
9m 20s main
main
9m 20s
save Blueprint (Verso) #63: Commit 4331609 pushed by CBirkbeck
10m 2s main
main
10m 2s