Skip to content

Actions: argumentcomputer/LSpec

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
82 workflow runs
82 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore: Update Lean to v4.27.0 CI Tests #53: Pull request #71 synchronize by samuelburnham
20s lean-v4.27.0
lean-v4.27.0
20s
Bump actions/checkout from 5 to 6 in the actions-dependencies group (… CI Tests #52: Commit 8312f95 pushed by samuelburnham
20s main
main
20s
chore: Update Lean to v4.27.0 CI Tests #51: Pull request #71 opened by samuelburnham
38s lean-v4.27.0
lean-v4.27.0
38s
github_actions in / for actions/checkout - Update #1246096195 Dependabot Updates #32: by dependabot bot
21s main
main
21s
github_actions in /. - Update #1246096174 Dependabot Updates #31: by dependabot bot
20s main
main
20s
Bump actions/checkout from 5 to 6 in the actions-dependencies group CI Tests #50: Pull request #67 synchronize by dependabot bot
39s dependabot/github_actions/actions-dependencies-76468cb07f
dependabot/github_actions/actions-dependencies-76468cb07f
39s
github_actions in / for actions/checkout - Update #1238961258 Dependabot Updates #30: by dependabot bot
23s main
main
23s
github_actions in /. - Update #1238961246 Dependabot Updates #29: by dependabot bot
33s main
main
33s
Redesign test output to use logical quantifier symbols (#70) CI Tests #49: Commit 8e6ddb1 pushed by johnchandlerburnham
41s main
main
41s
github_actions in / for actions/checkout - Update #1231480134 Dependabot Updates #28: by dependabot bot
33s main
main
33s
github_actions in /. - Update #1231480118 Dependabot Updates #27: by dependabot bot
25s main
main
25s
Redesign test output to use logical quantifier symbols CI Tests #48: Pull request #70 synchronize by johnchandlerburnham
35s jcb/pretty-printing
jcb/pretty-printing
35s
Bump actions/checkout from 5 to 6 in the actions-dependencies group CI Tests #47: Pull request #67 synchronize by dependabot bot
22s dependabot/github_actions/actions-dependencies-76468cb07f
dependabot/github_actions/actions-dependencies-76468cb07f
22s
github_actions in / for actions/checkout - Update #1221850059 Dependabot Updates #26: by dependabot bot
26s main
main
26s
github_actions in /. - Update #1221850021 Dependabot Updates #25: by dependabot bot
21s main
main
21s
Redesign test output to use logical quantifier symbols CI Tests #46: Pull request #70 opened by johnchandlerburnham
40s jcb/pretty-printing
jcb/pretty-printing
40s
Quality of Life Improvments (#69) CI Tests #45: Commit 1e6da63 pushed by johnchandlerburnham
41s main
main
41s
Quality of Life Improvments CI Tests #44: Pull request #69 opened by johnchandlerburnham
31s jcb/improvements
jcb/improvements
31s
github_actions in / for actions/checkout - Update #1213987457 Dependabot Updates #24: by dependabot bot
29s main
main
29s
github_actions in /. - Update #1213987442 Dependabot Updates #23: by dependabot bot
35s main
main
35s
github_actions in / for actions/checkout - Update #1207363598 Dependabot Updates #22: by dependabot bot
29s main
main
29s
github_actions in /. - Update #1207363576 Dependabot Updates #21: by dependabot bot
32s main
main
32s
github_actions in / for actions/checkout - Update #1199934773 Dependabot Updates #20: by dependabot bot
30s main
main
30s
github_actions in /. - Update #1199934758 Dependabot Updates #19: by dependabot bot
31s main
main
31s
github_actions in / for actions/checkout - Update #1193419142 Dependabot Updates #18: by dependabot bot
31s main
main
31s