Skip to content

Actions: argumentcomputer/LSpec

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
163 workflow runs
163 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
Update Lean toolchain and pinned deps Update Lean toolchain and pinned deps #30: Scheduled
36s main
main
36s
Update Lean toolchain and pinned deps Update Lean toolchain and pinned deps #29: Scheduled
40s main
main
40s
Update Lean toolchain and pinned deps Update Lean toolchain and pinned deps #28: Scheduled
43s main
main
43s
github_actions in /. - Update #1562726015 Dependabot Updates #66: by dependabot Bot
37s main
main
37s
Update Lean toolchain and pinned deps Update Lean toolchain and pinned deps #27: Scheduled
35s main
main
35s
Update Lean toolchain and pinned deps Update Lean toolchain and pinned deps #26: Scheduled
33s main
main
33s
Update Lean toolchain and pinned deps Update Lean toolchain and pinned deps #25: Scheduled
33s main
main
33s
Update Lean toolchain and pinned deps Update Lean toolchain and pinned deps #24: Scheduled
40s main
main
40s
Update Lean toolchain and pinned deps Update Lean toolchain and pinned deps #23: Scheduled
39s main
main
39s
Update Lean toolchain and pinned deps Update Lean toolchain and pinned deps #22: Scheduled
39s main
main
39s
Update Lean toolchain and pinned deps Update Lean toolchain and pinned deps #21: Scheduled
43s main
main
43s
github_actions in /. - Update #1548220095 Dependabot Updates #65: by dependabot Bot
43s main
main
43s
Update Lean toolchain and pinned deps Update Lean toolchain and pinned deps #20: Scheduled
35s main
main
35s
Update Lean toolchain and pinned deps Update Lean toolchain and pinned deps #19: Scheduled
40s main
main
40s
Update Lean toolchain and pinned deps Update Lean toolchain and pinned deps #18: Scheduled
37s main
main
37s
Update Lean toolchain and pinned deps Update Lean toolchain and pinned deps #17: Scheduled
38s main
main
38s
Update Lean toolchain and pinned deps Update Lean toolchain and pinned deps #16: Scheduled
33s main
main
33s
Update Lean toolchain and pinned deps Update Lean toolchain and pinned deps #15: Scheduled
35s main
main
35s
Update Lean toolchain and pinned deps Update Lean toolchain and pinned deps #14: Scheduled
35s main
main
35s
github_actions in /. - Update #1539481038 Dependabot Updates #64: by dependabot Bot
47s main
main
47s
Update Lean toolchain and pinned deps Update Lean toolchain and pinned deps #13: Scheduled
35s main
main
35s
Update Lean toolchain and pinned deps Update Lean toolchain and pinned deps #12: Scheduled
39s main
main
39s
chore: Update Lean to v4.33.1 (#86) CI Tests #86: Commit ab4d5eb pushed by samuelburnham
59s main
main
59s
chore: Update Lean to v4.33.1 CI Tests #85: Pull request #86 synchronize by samuelburnham
1m 31s update/lean-v4.33.1
update/lean-v4.33.1
1m 31s
chore(deps): bump actions/checkout in the actions-dependencies group … CI Tests #84: Commit 183601a pushed by samuelburnham
1m 34s main
main
1m 34s