Skip to content

Actions: argumentcomputer/LSpec

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
100 workflow runs
100 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
chore(deps): bump actions/checkout from 6 to 7 in the actions-dependencies group CI Tests #68: Pull request #78 opened by dependabot Bot
34s dependabot/github_actions/actions-dependencies-640176b5ab
dependabot/github_actions/actions-dependencies-640176b5ab
34s
github_actions in /. - Update #1430368349 Dependabot Updates #50: by dependabot Bot
27s main
main
27s
feat: update to lean v4.31.0 CI Tests #67: Pull request #77 opened by srghma
Action required srghma:main
srghma:main
Action required
github_actions in /. - Update #1414800949 Dependabot Updates #49: by dependabot Bot
20s main
main
20s
github_actions in /. - Update #1403734424 Dependabot Updates #48: by dependabot Bot
30s main
main
30s
github_actions in /. - Update #1395170641 Dependabot Updates #47: by dependabot Bot
28s main
main
28s
github_actions in /. - Update #1384313283 Dependabot Updates #46: by dependabot Bot
1m 8s main
main
1m 8s
github_actions in /. - Update #1373859847 Dependabot Updates #45: by dependabot Bot
36s main
main
36s
github_actions in /. - Update #1361776589 Dependabot Updates #44: by dependabot Bot
31s main
main
31s
github_actions in /. - Update #1348404863 Dependabot Updates #43: by dependabot Bot
27s main
main
27s
github_actions in /. - Update #1339720908 Dependabot Updates #42: by dependabot Bot
30s main
main
30s
github_actions in /. - Update #1330954837 Dependabot Updates #41: by dependabot Bot
35s main
main
35s
chore: Update Lean to v4.29.0 (#76) CI Tests #66: Commit d3c15b9 pushed by samuelburnham
33s main
main
33s
chore: Update Lean to v4.29.0 CI Tests #65: Pull request #76 opened by samuelburnham
35s lean-v4.29.0
lean-v4.29.0
35s
github_actions in /. - Update #1321464282 Dependabot Updates #40: by dependabot Bot
28s main
main
28s
github_actions in /. - Update #1309993727 Dependabot Updates #39: by dependabot Bot
28s main
main
28s
github_actions in /. - Update #1301299353 Dependabot Updates #38: by dependabot Bot
24s main
main
24s
github_actions in /. - Update #1290083505 Dependabot Updates #37: by dependabot Bot
29s main
main
29s
github_actions in /. - Update #1281697120 Dependabot Updates #36: by dependabot Bot
27s main
main
27s
github_actions in /. - Update #1273615159 Dependabot Updates #35: by dependabot Bot
28s main
main
28s
add "open LSpec" to get Quick Start example working (#75) CI Tests #64: Commit dc09042 pushed by arthurpaulino
30s main
main
30s
add "open LSpec" to get Quick Start example working CI Tests #63: Pull request #75 opened by m4lvin
34s m4lvin:patch-1
m4lvin:patch-1
34s
Refactor lspecIO for memory efficiency and add test suite (#72) CI Tests #62: Commit 928f27c pushed by johnchandlerburnham
38s main
main
38s
Refactor lspecIO for memory efficiency and add test suite CI Tests #61: Pull request #72 synchronize by johnchandlerburnham
32s jcb/memory
jcb/memory
32s
github_actions in /. - Update #1265893716 Dependabot Updates #34: by dependabot Bot
44s main
main
44s