Skip to content

Actions: CBirkbeck/LeanBridge

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
102 workflow runs
102 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Bump leanprover/lean-action from 1.3.0 to 1.4.0 Compile blueprint #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 Compile blueprint #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 Compile blueprint #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 Compile blueprint #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' Compile blueprint #64: Commit 6faddd7 pushed by CBirkbeck
9m 20s main
main
9m 20s
save Compile blueprint #63: Commit 4331609 pushed by CBirkbeck
10m 2s main
main
10m 2s
Reapply "Tweak math characters in section headers" Compile blueprint #62: Commit afc2a1e pushed by CBirkbeck
9m 22s main
main
9m 22s
Revert "Tweak math characters in section headers" Compile blueprint #61: Commit 933a12e pushed by CBirkbeck
9m 36s main
main
9m 36s
Reapply "Merge remote-tracking branch 'origin/main'" Compile blueprint #60: Commit a736710 pushed by CBirkbeck
9m 6s main
main
9m 6s
Revert "Merge remote-tracking branch 'origin/main'" Compile blueprint #59: Commit 117c02c pushed by CBirkbeck
10m 24s main
main
10m 24s
Merge remote-tracking branch 'origin/main' Compile blueprint #58: Commit 31e11f4 pushed by CBirkbeck
9m 19s main
main
9m 19s
github_actions in /. - Update #1134330318 Dependabot Updates #14: by dependabot bot
43s main
main
43s
Tweak math characters in section headers Compile blueprint #57: Commit db9d3ef pushed by roed314
11m 37s main
main
11m 37s