Skip to content

Actions: argumentcomputer/LSpec

Actions

CI Tests

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
45 workflow runs
45 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
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
Bump actions/checkout from 5 to 6 in the actions-dependencies group CI Tests #43: Pull request #67 synchronize by dependabot bot
31s dependabot/github_actions/actions-dependencies-76468cb07f
dependabot/github_actions/actions-dependencies-76468cb07f
31s
Chore: update Lean to v4.26.0 (#68) CI Tests #42: Commit fdf848d pushed by samuelburnham
27s main
main
27s
Chore: update Lean to v4.26.0 CI Tests #41: Pull request #68 synchronize by quinn-dougherty
26s quinn-dougherty:main
quinn-dougherty:main
26s
Chore: update Lean to v4.26.0 CI Tests #40: Pull request #68 synchronize by quinn-dougherty
32s quinn-dougherty:main
quinn-dougherty:main
32s
Bump actions/checkout from 5 to 6 in the actions-dependencies group CI Tests #37: Pull request #67 opened by dependabot bot
32s dependabot/github_actions/actions-dependencies-76468cb07f
dependabot/github_actions/actions-dependencies-76468cb07f
32s
chore: Update Lean to v4.24.0 (#66) CI Tests #36: Commit b05e6b8 pushed by samuelburnham
34s main
main
34s
chore: Update Lean to v4.24.0 CI Tests #35: Pull request #66 opened by samuelburnham
31s update-lean4-nix
update-lean4-nix
31s
chore: Update lean4-nix (#65) CI Tests #34: Commit d2bbbfa pushed by samuelburnham
29s main
main
29s
chore: Update lean4-nix CI Tests #33: Pull request #65 opened by samuelburnham
33s update-lean4-nix
update-lean4-nix
33s
chore: Use pre-built Lean binary in Nix build (#64) CI Tests #32: Commit 731ae32 pushed by samuelburnham
32s main
main
32s
chore: Use pre-built Lean binary in Nix build CI Tests #31: Pull request #64 synchronize by samuelburnham
20s lean-nix-binary
lean-nix-binary
20s
chore: Use pre-built Lean binary in Nix build CI Tests #30: Pull request #64 opened by samuelburnham
1m 22s lean-nix-binary
lean-nix-binary
1m 22s
chore: Add dependabot for CI (#63) CI Tests #29: Commit 1fc461a pushed by samuelburnham
1m 54s main
main
1m 54s
chore: Add dependabot for CI CI Tests #28: Pull request #63 opened by samuelburnham
1m 47s ci-dependabot
ci-dependabot
1m 47s
chore: Update Lean to v4.23.0 (#62) CI Tests #27: Commit 28d189b pushed by samuelburnham
1m 55s main
main
1m 55s
chore: Update Lean to v4.23.0 CI Tests #26: Pull request #62 synchronize by samuelburnham
2m 16s lean-4.23.0
lean-4.23.0
2m 16s
chore: Update Lean to v4.23.0 CI Tests #25: Pull request #62 opened by samuelburnham
1m 47s lean-4.23.0
lean-4.23.0
1m 47s
chore: Update Lean to v4.21.0 (#61) CI Tests #24: Commit db76512 pushed by samuelburnham
2m 14s main
main
2m 14s
chore: Update Lean to v4.21.0 CI Tests #23: Pull request #61 synchronize by samuelburnham
2m 14s lenianiva:version/4.21.0
lenianiva:version/4.21.0
2m 14s
chore: Update Lean to v4.21.0 CI Tests #22: Pull request #61 synchronize by samuelburnham
1m 59s lenianiva:version/4.21.0
lenianiva:version/4.21.0
1m 59s