Skip to content

Actions: Robby955/FormalSLT

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
687 workflow runs
687 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
Merge pull request #150 from Robby955/codex/pages-index-repair-20260904 Docs #264: Commit 5e41e98 pushed by Robby955
40m 44s main
main
40m 44s
Merge pull request #150 from Robby955/codex/pages-index-repair-20260904 CI #422: Commit 5e41e98 pushed by Robby955
23s main
main
23s
docs: regenerate stale theorem index source anchor CI #421: Pull request #150 opened by Robby955
22s codex/pages-index-repair-20260904
codex/pages-index-repair-20260904
22s
Merge pull request #149 from Robby955/codex/brier-monitor-live-timing… Docs #263: Commit 7d3405b pushed by Robby955
12s main
main
12s
Merge pull request #149 from Robby955/codex/brier-monitor-live-timing… CI #420: Commit 7d3405b pushed by Robby955
1h 0m 34s main
main
1h 0m 34s
feat(app): add interactive timing-aware risk monitor CI #419: Pull request #149 synchronize by Robby955
1h 3m 23s codex/brier-monitor-live-timing-demo-20260901
codex/brier-monitor-live-timing-demo-20260901
1h 3m 23s
Refresh README badges to the counts at 02e4b7bc: 8,579 declarations, … CI #418: Commit a793030 pushed by Robby955
23s main
main
23s
Refresh README badges to the counts at 02e4b7bc: 8,579 declarations, … Docs #262: Commit a793030 pushed by Robby955
12s main
main
12s
feat(app): add interactive timing-aware risk monitor CI #417: Pull request #149 opened by Robby955
1h 1m 25s codex/brier-monitor-live-timing-demo-20260901
codex/brier-monitor-live-timing-demo-20260901
1h 1m 25s
Merge pull request #148 from Robby955/codex/brier-monitor-streaming-e… Docs #261: Commit 02e4b7b pushed by Robby955
12s main
main
12s
Merge pull request #148 from Robby955/codex/brier-monitor-streaming-e… CI #416: Commit 02e4b7b pushed by Robby955
43m 54s main
main
43m 54s
feat(app): certify live selected models CI #415: Pull request #148 reopened by Robby955
45m 31s codex/brier-monitor-streaming-engine-20260901
codex/brier-monitor-streaming-engine-20260901
45m 31s
feat(app): add audited occupancy certificate CI #414: Pull request #147 opened by Robby955
48m 24s codex/uci357-certified-monitor-20260831
codex/uci357-certified-monitor-20260831
48m 24s
Merge pull request #146 from Robby955/codex/formalslt-certify-cli-202… Docs #260: Commit 2a94d27 pushed by Robby955
9s main
main
9s
Merge pull request #146 from Robby955/codex/formalslt-certify-cli-202… CI #413: Commit 2a94d27 pushed by Robby955
59m 16s main
main
59m 16s
feat(cli): certify tabular Brier monitors CI #412: Pull request #146 synchronize by Robby955
1h 46m 4s codex/formalslt-certify-cli-20260831
codex/formalslt-certify-cli-20260831
1h 46m 4s
feat(cli): certify tabular Brier monitors CI #411: Pull request #146 synchronize by Robby955
59m 15s codex/formalslt-certify-cli-20260831
codex/formalslt-certify-cli-20260831
59m 15s
feat(cli): certify tabular Brier monitors CI #410: Pull request #146 opened by Robby955
18m 29s codex/formalslt-certify-cli-20260831
codex/formalslt-certify-cli-20260831
18m 29s
Merge pull request #145 from Robby955/codex/gjp-compact-certificate-p… CI #409: Commit 398d8f1 pushed by Robby955
59m 10s main
main
59m 10s
Merge pull request #145 from Robby955/codex/gjp-compact-certificate-p… Docs #259: Commit 398d8f1 pushed by Robby955
10s main
main
10s
feat(app): add compact real-data Brier certificate CI #408: Pull request #145 opened by Robby955
40m 27s codex/gjp-compact-certificate-public-20260831
codex/gjp-compact-certificate-public-20260831
40m 27s
Merge pull request #144 from Robby955/codex/continuous-countable-traj… Docs #258: Commit 48b4a36 pushed by Robby955
13s main
main
13s
Merge pull request #144 from Robby955/codex/continuous-countable-traj… CI #407: Commit 48b4a36 pushed by Robby955
56m 2s main
main
56m 2s
feat(dynamics): measurable model-strategy risk certificates CI #406: Pull request #144 synchronize by Robby955
58m 40s codex/continuous-countable-trajectory-risk-20260830
codex/continuous-countable-trajectory-risk-20260830
58m 40s
feat(dynamics): measurable model-strategy risk certificates CI #405: Pull request #144 opened by Robby955
59m 25s codex/continuous-countable-trajectory-risk-20260830
codex/continuous-countable-trajectory-risk-20260830
59m 25s