Skip to content

Actions: Zenith-options/backend

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
223 workflow runs
223 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
Deploy staging Deploy staging #6: completed by dami-005
1s
1s
Deploy staging Deploy staging #5: completed by dami-005
2s
2s
Deploy staging Deploy staging #4: completed by dami-005
10s
10s
Verify collateral, payoff and fee arithmetic with Kani (#160) ClusterFuzzLite #11: Commit fec8106 pushed by dami-005
2m 25s main
main
2m 25s
Verify collateral, payoff and fee arithmetic with Kani (#160) Kani #3: Commit fec8106 pushed by dami-005
50s main
main
50s
Verify collateral, payoff and fee arithmetic with Kani (#160) Release #6: Commit fec8106 pushed by dami-005
1m 57s main
main
1m 57s
Verify collateral, payoff and fee arithmetic with Kani (#160) Container Pipeline #18: Commit fec8106 pushed by dami-005
1m 26s main
main
1m 26s
Verify collateral, payoff and fee arithmetic with Kani (#160) Load test #18: Commit fec8106 pushed by dami-005
47s main
main
47s
Verify collateral, payoff and fee arithmetic with Kani (#160) .github/workflows/ci.yml #101: Commit fec8106 pushed by dami-005
Failure main
main
Failure
feat: Kani formal verification of collateral, payoff and fee arithmetic (#119) Kani #2: Pull request #160 synchronize by dami-005
33s Whiznificent:feat/kani-formal-verification-issue-119
Whiznificent:feat/kani-formal-verification-issue-119
33s
feat: Kani formal verification of collateral, payoff and fee arithmetic (#119) End-to-End Quickstart Suite #45: Pull request #160 synchronize by dami-005
1s Whiznificent:feat/kani-formal-verification-issue-119
Whiznificent:feat/kani-formal-verification-issue-119
1s
feat: Kani formal verification of collateral, payoff and fee arithmetic (#119) PR title #13: Pull request #160 synchronize by dami-005
11s Whiznificent:feat/kani-formal-verification-issue-119
Whiznificent:feat/kani-formal-verification-issue-119
11s
feat: Kani formal verification of collateral, payoff and fee arithmetic (#119) ClusterFuzzLite #10: Pull request #160 synchronize by dami-005
1m 52s Whiznificent:feat/kani-formal-verification-issue-119
Whiznificent:feat/kani-formal-verification-issue-119
1m 52s
feat: Kani formal verification of collateral, payoff and fee arithmetic (#119) Container Pipeline #17: Pull request #160 synchronize by dami-005
1m 27s Whiznificent:feat/kani-formal-verification-issue-119
Whiznificent:feat/kani-formal-verification-issue-119
1m 27s
feat: Kani formal verification of collateral, payoff and fee arithmetic (#119) Load test #17: Pull request #160 synchronize by dami-005
34s Whiznificent:feat/kani-formal-verification-issue-119
Whiznificent:feat/kani-formal-verification-issue-119
34s
feat: Kani formal verification of collateral, payoff and fee arithmetic (#119) .github/workflows/ci.yml #100: Pull request #160 by dami-005
Failure Whiznificent:feat/kani-formal-verification-issue-119
Whiznificent:feat/kani-formal-verification-issue-119
Failure
Deploy staging Deploy staging #3: completed by dami-005
1s
1s
Add pluggable secret management and remote signing (#159) Load test #16: Commit 2f3afb4 pushed by dami-005
51s main
main
51s
Add pluggable secret management and remote signing (#159) Container Pipeline #16: Commit 2f3afb4 pushed by dami-005
1m 14s main
main
1m 14s
Add pluggable secret management and remote signing (#159) ClusterFuzzLite #9: Commit 2f3afb4 pushed by dami-005
2m 34s main
main
2m 34s
Add pluggable secret management and remote signing (#159) Release #5: Commit 2f3afb4 pushed by dami-005
17s main
main
17s
Add pluggable secret management and remote signing (#159) .github/workflows/ci.yml #99: Commit 2f3afb4 pushed by dami-005
Failure main
main
Failure
feat: pluggable secret management and remote signing-key custody (#120) Container Pipeline #15: Pull request #159 synchronize by dami-005
1m 13s Whiznificent:feat/secrets-management-issue-120
Whiznificent:feat/secrets-management-issue-120
1m 13s
feat: pluggable secret management and remote signing-key custody (#120) Load test #15: Pull request #159 synchronize by dami-005
18s Whiznificent:feat/secrets-management-issue-120
Whiznificent:feat/secrets-management-issue-120
18s
feat: pluggable secret management and remote signing-key custody (#120) ClusterFuzzLite #8: Pull request #159 synchronize by dami-005
1m 49s Whiznificent:feat/secrets-management-issue-120
Whiznificent:feat/secrets-management-issue-120
1m 49s