Skip to content

Actions: Clyra-AI/proof

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
150 workflow runs
150 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add runtime discovery and delegation record types (#13) release #10: Commit fc7963d pushed by davidahmann
1m 34s v0.4.4
v0.4.4
1m 34s
nightly nightly #9: Manually run by davidahmann
51s main
main
51s
Add runtime discovery and delegation record types (#13) codeql #39: Commit fc7963d pushed by davidahmann
1m 6s main
main
1m 6s
Add runtime discovery and delegation record types (#13) determinism #32: Commit fc7963d pushed by davidahmann
41s main
main
41s
Add runtime discovery and delegation record types (#13) main #26: Commit fc7963d pushed by davidahmann
1m 1s main
main
1m 1s
Add dynamic discovery + delegation proof record types determinism #31: Pull request #13 opened by davidahmann
46s codex/runtime-discovery-and-delegation-records
codex/runtime-discovery-and-delegation-records
46s
Add dynamic discovery + delegation proof record types pr #33: Pull request #13 opened by davidahmann
49s codex/runtime-discovery-and-delegation-records
codex/runtime-discovery-and-delegation-records
49s
Add dynamic discovery + delegation proof record types codeql #38: Pull request #13 opened by davidahmann
1m 12s codex/runtime-discovery-and-delegation-records
codex/runtime-discovery-and-delegation-records
1m 12s
Add runtime discovery and delegation record types pr #32: Commit 399dc7b pushed by davidahmann
47s codex/runtime-discovery-and-delegation-records
codex/runtime-discovery-and-delegation-records
47s
nightly nightly #8: Scheduled
1m 0s main
main
1m 0s
nightly nightly #7: Scheduled
50s main
main
50s
nightly nightly #6: Scheduled
51s main
main
51s
Handle pending script verdicts in governance promotion (#12) release #9: Commit b8833e3 pushed by davidahmann
1m 47s v0.4.3
v0.4.3
1m 47s
Handle pending script verdicts in governance promotion (#12) main #25: Commit b8833e3 pushed by davidahmann
55s main
main
55s
Handle pending script verdicts in governance promotion (#12) codeql #37: Commit b8833e3 pushed by davidahmann
1m 2s main
main
1m 2s
Handle pending script verdicts in governance promotion (#12) determinism #30: Commit b8833e3 pushed by davidahmann
34s main
main
34s
Fix pending script verdict promotion for compiled_action determinism #29: Pull request #12 opened by davidahmann
40s codex/fix-pending-script-verdict
codex/fix-pending-script-verdict
40s
Fix pending script verdict promotion for compiled_action codeql #36: Pull request #12 opened by davidahmann
1m 3s codex/fix-pending-script-verdict
codex/fix-pending-script-verdict
1m 3s
Fix pending script verdict promotion for compiled_action pr #31: Pull request #12 opened by davidahmann
44s codex/fix-pending-script-verdict
codex/fix-pending-script-verdict
44s
Handle pending script verdicts in governance promotion pr #30: Commit b602bef pushed by davidahmann
40s codex/fix-pending-script-verdict
codex/fix-pending-script-verdict
40s
Add compiled_action records and governance event promotion (#11) release #8: Commit 05616a2 pushed by davidahmann
1m 37s v0.4.2
v0.4.2
1m 37s
Add compiled_action records and governance event promotion (#11) main #24: Commit 05616a2 pushed by davidahmann
1m 0s main
main
1m 0s
Add compiled_action records and governance event promotion (#11) determinism #28: Commit 05616a2 pushed by davidahmann
40s main
main
40s
Add compiled_action records and governance event promotion (#11) codeql #35: Commit 05616a2 pushed by davidahmann
1m 4s main
main
1m 4s
Add compiled_action type and governance event promotion pr #29: Pull request #11 opened by davidahmann
45s codex/proof-compiled-action-governance
codex/proof-compiled-action-governance
45s