Skip to content

Actions: argumentcomputer/lean4ix

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
79 workflow runs
79 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
github_actions in /. - Update #1603328010 Dependabot Updates #3: by dependabot Bot
1m 40s main
main
1m 40s
ci: pin actions to commit SHAs and lint workflows (#6) Nix #11: Commit ab85315 pushed by samuelburnham
1m 20s main
main
1m 20s
ci: pin actions to commit SHAs and lint workflows (#6) CI #11: Commit ab85315 pushed by samuelburnham
1m 21s main
main
1m 21s
Push on main CodeQL #16: by samuelburnham
45s main
main
45s
ci: pin actions to commit SHAs and lint workflows Nix #10: Pull request #6 opened by samuelburnham
1m 44s ci/pin-actions
ci/pin-actions
1m 44s
ci: pin actions to commit SHAs and lint workflows CI #10: Pull request #6 opened by samuelburnham
1m 37s ci/pin-actions
ci/pin-actions
1m 37s
PR #6 CodeQL #15: by samuelburnham
44s refs/pull/6/head
refs/pull/6/head
44s
chore: Update Lean to v4.34.1 CI #9: Pull request #5 opened by github-actions Bot
1m 14s update/lean-v4.34.1
update/lean-v4.34.1
1m 14s
chore: Update Lean to v4.34.1 Nix #9: Pull request #5 opened by github-actions Bot
2m 14s update/lean-v4.34.1
update/lean-v4.34.1
2m 14s
PR #5 CodeQL #14: by github-actions Bot
39s refs/pull/5/head
refs/pull/5/head
39s
Update Lean toolchain and pinned deps Update Lean toolchain and pinned deps #38: Scheduled
58s main
main
58s
Scheduled CodeQL #13: by github-advanced-security AI
50s main
main
50s
github_actions in /. - Update #1600601609 Dependabot Updates #2: by dependabot Bot
49s main
main
49s
github_actions in /. - Update #1600601503 Dependabot Updates #1: by dependabot Bot
13m 22s main
main
13m 22s
chore: Update CI (#4) Nix #8: Commit 4359d0a pushed by samuelburnham
4m 18s main
main
4m 18s
chore: Update CI (#4) CI #8: Commit 4359d0a pushed by samuelburnham
6m 3s main
main
6m 3s
Push on main CodeQL #12: by samuelburnham
49s main
main
49s
chore: Update CI CI #7: Pull request #4 opened by samuelburnham
6m 2s drop-app-token
drop-app-token
6m 2s
chore: Update CI Nix #7: Pull request #4 opened by samuelburnham
5m 0s drop-app-token
drop-app-token
5m 0s
PR #4 CodeQL #11: by samuelburnham
46s refs/pull/4/head
refs/pull/4/head
46s
Update Lean toolchain and pinned deps Update Lean toolchain and pinned deps #37: Scheduled
58s main
main
58s
Update Lean toolchain and pinned deps Update Lean toolchain and pinned deps #36: Scheduled
57s main
main
57s
Update Lean toolchain and pinned deps Update Lean toolchain and pinned deps #35: Scheduled
54s main
main
54s
Update Lean toolchain and pinned deps Update Lean toolchain and pinned deps #34: Scheduled
51s main
main
51s
Update Lean toolchain and pinned deps Update Lean toolchain and pinned deps #33: Scheduled
1m 0s main
main
1m 0s