Skip to content

Actions: argumentcomputer/ci-lab

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
148 workflow runs
148 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Scheduled CodeQL #22: by github-advanced-security bot
1m 56s main
main
1m 56s
Scheduled CodeQL #21: by github-advanced-security bot
1m 58s main
main
1m 58s
Scheduled CodeQL #20: by github-advanced-security bot
1m 59s main
main
1m 59s
Scheduled CodeQL #19: by github-advanced-security bot
1m 53s main
main
1m 53s
Scheduled CodeQL #18: by github-advanced-security bot
1m 53s main
main
1m 53s
Scheduled CodeQL #17: by github-advanced-security bot
1m 57s main
main
1m 57s
Test Benchmark pull requests #40: Issue comment #95 (comment) created by argument-ci-bot bot
1s
1s
Test Benchmark pull requests #39: Issue comment #95 (comment) created by argument-ci-bot bot
1s
1s
Test Benchmark pull requests #38: Issue comment #95 (comment) created by samuelburnham
11m 12s
11m 12s
Test Lean Action CI #70: Pull request #95 synchronize by samuelburnham
40s test
test
40s
PR #95 CodeQL #16: by samuelburnham
1m 54s refs/pull/95/head
refs/pull/95/head
1m 54s
Fixup Lean Action CI #69: Commit 9c00992 pushed by samuelburnham
37s main
main
37s
Push on main CodeQL #15: by samuelburnham
1m 54s main
main
1m 54s
Test Benchmark pull requests #37: Issue comment #95 (comment) created by argument-ci-bot bot
1s
1s
Test Lean Action CI #68: Pull request #95 synchronize by samuelburnham
49s test
test
49s
Test Test token #43: Pull request #95 synchronize by samuelburnham
11s test
test
11s
PR #95 CodeQL #14: by samuelburnham
1m 58s refs/pull/95/head
refs/pull/95/head
1m 58s
Test Lean Action CI #67: Pull request #95 synchronize by samuelburnham
40s test
test
40s
Test Test token #42: Pull request #95 synchronize by samuelburnham
6s test
test
6s
PR #95 CodeQL #13: by samuelburnham
1m 54s refs/pull/95/head
refs/pull/95/head
1m 54s
Test Lean Action CI #66: Pull request #95 synchronize by samuelburnham
44s test
test
44s
Test Test token #41: Pull request #95 synchronize by samuelburnham
10s test
test
10s
PR #95 CodeQL #12: by samuelburnham
1m 51s refs/pull/95/head
refs/pull/95/head
1m 51s
Test Lean Action CI #65: Pull request #95 synchronize by samuelburnham
39s test
test
39s
Test Test token #40: Pull request #95 synchronize by samuelburnham
14s test
test
14s