Skip to content

Actions: Noc2/RateLoop

Actions

Certora

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
certora.yaml
26 workflow runs
26 workflow runs

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
Certora Certora #26: Scheduled
51m 48s main
main
51m 48s
Fix RBTS timeout stake returns Certora #25: Pull request #69 opened by cursor Bot
48m 27s cursor/critical-bug-management-ba59
cursor/critical-bug-management-ba59
48m 27s
Fix FrontendRegistry upgrade storage order Certora #24: Pull request #68 synchronize by Noc2
45m 51s cursor/critical-bug-management-7b24
cursor/critical-bug-management-7b24
45m 51s
Fix FrontendRegistry upgrade storage order Certora #23: Pull request #68 synchronize by Noc2
21m 57s cursor/critical-bug-management-7b24
cursor/critical-bug-management-7b24
21m 57s
Fix FrontendRegistry upgrade storage order Certora #22: Pull request #68 synchronize by Noc2
5m 11s cursor/critical-bug-management-7b24
cursor/critical-bug-management-7b24
5m 11s
Fix FrontendRegistry upgrade storage order Certora #21: Pull request #68 synchronize by cursor Bot
1h 3m 5s cursor/critical-bug-management-7b24
cursor/critical-bug-management-7b24
1h 3m 5s
Fix FrontendRegistry upgrade storage order Certora #20: Pull request #68 opened by cursor Bot
56m 56s cursor/critical-bug-management-7b24
cursor/critical-bug-management-7b24
56m 56s
Certora Certora #19: Scheduled
1h 32m 14s main
main
1h 32m 14s
Certora Certora #18: Scheduled
1h 59m 52s main
main
1h 59m 52s
Certora Certora #17: Scheduled
1h 18m 57s main
main
1h 18m 57s
[codex] Fix workspace artifact builds for Ponder and Next.js Certora #16: Pull request #43 synchronize by Noc2
14m 15s codex/fix-cluster-oracle-audit
codex/fix-cluster-oracle-audit
14m 15s
[codex] Fix workspace artifact builds for Ponder and Next.js Certora #15: Pull request #43 synchronize by Noc2
14m 14s codex/fix-cluster-oracle-audit
codex/fix-cluster-oracle-audit
14m 14s
[codex] Fix workspace artifact builds for Ponder and Next.js Certora #14: Pull request #43 synchronize by Noc2
14m 29s codex/fix-cluster-oracle-audit
codex/fix-cluster-oracle-audit
14m 29s
[codex] Fix workspace artifact builds for Ponder and Next.js Certora #13: Pull request #43 synchronize by Noc2
7m 55s codex/fix-cluster-oracle-audit
codex/fix-cluster-oracle-audit
7m 55s
[codex] Fix workspace artifact builds for Ponder and Next.js Certora #12: Pull request #43 synchronize by Noc2
15m 17s codex/fix-cluster-oracle-audit
codex/fix-cluster-oracle-audit
15m 17s
[codex] Fix workspace artifact builds for Ponder and Next.js Certora #11: Pull request #43 synchronize by Noc2
21m 41s codex/fix-cluster-oracle-audit
codex/fix-cluster-oracle-audit
21m 41s
[codex] Fix workspace artifact builds for Ponder and Next.js Certora #10: Pull request #43 synchronize by Noc2
17m 20s codex/fix-cluster-oracle-audit
codex/fix-cluster-oracle-audit
17m 20s
[codex] Fix workspace artifact builds for Ponder and Next.js Certora #9: Pull request #43 synchronize by Noc2
20m 23s codex/fix-cluster-oracle-audit
codex/fix-cluster-oracle-audit
20m 23s
[codex] Fix workspace artifact builds for Ponder and Next.js Certora #8: Pull request #43 synchronize by Noc2
18m 44s codex/fix-cluster-oracle-audit
codex/fix-cluster-oracle-audit
18m 44s
Certora round 3: refresh drifted specs, conservation slices, CI gate Certora #7: Pull request #42 synchronize by Noc2
38m 31s certora-followup-research-3
certora-followup-research-3
38m 31s
Certora round 3: refresh drifted specs, conservation slices, CI gate Certora #6: Pull request #42 opened by Noc2
16m 23s certora-followup-research-3
certora-followup-research-3
16m 23s
docs(certora): research-backed next-steps recommendation Certora #5: Pull request #35 synchronize by Noc2
16m 12s certora-followup-research-2
certora-followup-research-2
16m 12s
docs(certora): research-backed next-steps recommendation Certora #4: Pull request #35 synchronize by Noc2
16m 38s certora-followup-research-2
certora-followup-research-2
16m 38s
docs(certora): research-backed next-steps recommendation Certora #3: Pull request #35 synchronize by Noc2
9m 55s certora-followup-research-2
certora-followup-research-2
9m 55s
docs(certora): formal-verification follow-up plan Certora #2: Pull request #34 synchronize by Noc2
6m 51s certora-followup-plan
certora-followup-plan
6m 51s