Skip to content

Actions: argumentcomputer/templates

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
106 workflow runs
106 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
Scheduled CodeQL #47: by github-advanced-security AI
1m 36s main
main
1m 36s
Bump actions/checkout from 6 to 7 in the actions group across 1 directory Rust CI #3: Pull request #2 opened by dependabot Bot
1m 23s dependabot/github_actions/actions-640176b5ab
dependabot/github_actions/actions-640176b5ab
1m 23s
Bump actions/checkout from 6 to 7 in the actions group across 1 directory Lean CI #3: Pull request #2 opened by dependabot Bot
1m 16s dependabot/github_actions/actions-640176b5ab
dependabot/github_actions/actions-640176b5ab
1m 16s
cargo in /rust - Update #1423380665 Dependabot Updates #51: by dependabot Bot
32s main
main
32s
github_actions in /* - Update #1423380661 Dependabot Updates #50: by dependabot Bot
32s main
main
32s
Scheduled CodeQL #46: by github-advanced-security AI
1m 39s main
main
1m 39s
github_actions in /* - Update #1410235399 Dependabot Updates #49: by dependabot Bot
36s main
main
36s
cargo in /rust - Update #1410235402 Dependabot Updates #48: by dependabot Bot
30s main
main
30s
Scheduled CodeQL #45: by github-advanced-security AI
1m 44s main
main
1m 44s
github_actions in /* - Update #1400026462 Dependabot Updates #47: by dependabot Bot
37s main
main
37s
cargo in /rust - Update #1400026460 Dependabot Updates #46: by dependabot Bot
32s main
main
32s
Scheduled CodeQL #44: by github-advanced-security AI
1m 8s main
main
1m 8s
github_actions in /* - Update #1390599081 Dependabot Updates #45: by dependabot Bot
34s main
main
34s
cargo in /rust - Update #1390599075 Dependabot Updates #44: by dependabot Bot
30s main
main
30s
Scheduled CodeQL #43: by github-advanced-security AI
1m 43s main
main
1m 43s
cargo in /rust - Update #1380425828 Dependabot Updates #43: by dependabot Bot
37s main
main
37s
github_actions in /* - Update #1380425819 Dependabot Updates #42: by dependabot Bot
37s main
main
37s
Scheduled CodeQL #42: by github-advanced-security AI
1m 43s main
main
1m 43s
github_actions in /* - Update #1369570583 Dependabot Updates #41: by dependabot Bot
28s main
main
28s
cargo in /rust - Update #1369570582 Dependabot Updates #40: by dependabot Bot
37s main
main
37s
Update versions and add top-level CI (#1) Lean CI #2: Commit 6512802 pushed by samuelburnham
1m 13s main
main
1m 13s
Update versions and add top-level CI (#1) Rust CI #2: Commit 6512802 pushed by samuelburnham
1m 18s main
main
1m 18s
Push on main CodeQL #41: by github-advanced-security AI
2m 12s main
main
2m 12s
Update versions and add top-level CI Lean CI #1: Pull request #1 opened by samuelburnham
1m 11s updates
updates
1m 11s
Update versions and add top-level CI Rust CI #1: Pull request #1 opened by samuelburnham
1m 27s updates
updates
1m 27s