Skip to content

Actions: seL4/ci-actions

Actions

Deploy Proof Run

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
deploy-run-proofs.yml
12 workflow runs
12 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pin junitparser to v3; print junit exceptions Deploy Proof Run #95: Commit 497f8a1 pushed by Indanz
1m 40s master
master
1m 40s
scripts: pin junitparser to 3.x Deploy Proof Run #94: Commit 0e44d09 pushed by lsf37
3m 15s master
master
3m 15s
deps-update Deploy Proof Run #93: Repository dispatch triggered by seL4-ci
2m 6s
2m 6s
deps-update Deploy Proof Run #92: Repository dispatch triggered by seL4-ci
2m 19s
2m 19s
deps-update Deploy Proof Run #91: Repository dispatch triggered by seL4-ci
2m 45s
2m 45s
deps-update Deploy Proof Run #90: Repository dispatch triggered by seL4-ci
1m 47s
1m 47s
github: un-pin style check Deploy Proof Run #89: Commit ef9e0d7 pushed by lsf37
2m 10s master
master
2m 10s
deps-update Deploy Proof Run #88: Repository dispatch triggered by seL4-ci
1m 44s
1m 44s
deps-update Deploy Proof Run #87: Repository dispatch triggered by seL4-ci
2m 10s
2m 10s
deps-update Deploy Proof Run #86: Repository dispatch triggered by seL4-ci
2m 13s
2m 13s
python: fix version of setuptools Deploy Proof Run #85: Commit 6545ead pushed by lsf37
15m 25s master
master
15m 25s
bashisms check: update to v2.52.2 Deploy Proof Run #84: Commit 93292ca pushed by lsf37
2m 11s master
master
2m 11s