Skip to content

Actions: nForma-AI/nForma

Actions

Formal Verification

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
formal-verify.yml
212 workflow runs
212 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
fix: salvage PR #45 — formal spec fixes, config rename, orchestrator slot family Formal Verification #212: Pull request #118 opened by jobordu
5m 41s cherry-pick/pr-45-salvage
cherry-pick/pr-45-salvage
5m 41s
ci: split lint into separate job for branch protection Formal Verification #211: Pull request #117 synchronize by jobordu
6m 11s ci/lint-job
ci/lint-job
6m 11s
ci: split lint into separate job for branch protection Formal Verification #210: Pull request #117 synchronize by jobordu
5m 40s ci/lint-job
ci/lint-job
5m 40s
ci: split lint into separate job for branch protection Formal Verification #209: Pull request #117 opened by jobordu
4m 45s ci/lint-job
ci/lint-job
4m 45s
fix(quorum): remove dead slots and eliminate hardcoded agent config f… Formal Verification #208: Commit 4e5066f pushed by jobordu
5m 20s main
main
5m 20s
chore(release): 0.42.6 Formal Verification #207: Pull request #116 synchronize by jobordu
5m 30s release/0.42.6
release/0.42.6
5m 30s
chore(release): 0.42.6 Formal Verification #206: Pull request #116 synchronize by jobordu
5m 31s release/0.42.6
release/0.42.6
5m 31s
chore(release): 0.42.6 Formal Verification #205: Pull request #116 opened by jobordu
5m 18s release/0.42.6
release/0.42.6
5m 18s
feat(bench): build generic benchmark runner for nForma skills (issue … Formal Verification #204: Commit 6b0f954 pushed by jobordu
5m 22s main
main
5m 22s
feat(bench): build generic benchmark runner for nForma skills (issue #107) Formal Verification #203: Pull request #115 synchronize by jobordu
4m 30s feature/issue-107-build-generic-benchmark-runner
feature/issue-107-build-generic-benchmark-runner
4m 30s
fix(solve): fix benchmark detection gaps — focusSet bug + direct file… Formal Verification #202: Commit 59055dd pushed by jobordu
5m 43s main
main
5m 43s
fix(solve): fix benchmark detection gaps — focusSet bug + direct file reads Formal Verification #201: Pull request #110 synchronize by jobordu
5m 42s feature/issue-105-fix-nf-solve-benchmark
feature/issue-105-fix-nf-solve-benchmark
5m 42s
fix(solve): fix benchmark detection gaps — focusSet bug + direct file reads Formal Verification #200: Pull request #110 synchronize by jobordu
5m 46s feature/issue-105-fix-nf-solve-benchmark
feature/issue-105-fix-nf-solve-benchmark
5m 46s
fix(solve): fix benchmark detection gaps — focusSet bug + direct file reads Formal Verification #199: Pull request #110 synchronize by jobordu
13s feature/issue-105-fix-nf-solve-benchmark
feature/issue-105-fix-nf-solve-benchmark
13s
release: 0.42.5 — fix non-Mac quorum wiring (#108) Formal Verification #198: Pull request #114 opened by jobordu
5m 26s release/0.42.5
release/0.42.5
5m 26s
release: 0.42.4 — Adversarial Hardening Formal Verification #197: Pull request #113 opened by jobordu
5m 44s release/0.42.4-latest
release/0.42.4-latest
5m 44s
release: 0.42.4-rc.1 — Adversarial Hardening Formal Verification #196: Pull request #112 opened by jobordu
5m 33s release/0.42.4
release/0.42.4
5m 33s
ci(benchmark): block PRs on regression, auto-commit improved baseline Formal Verification #195: Pull request #111 synchronize by jobordu
5m 35s ci/benchmark-regression-gate
ci/benchmark-regression-gate
5m 35s
ci(benchmark): block PRs on regression, auto-commit improved baseline Formal Verification #194: Pull request #111 opened by jobordu
5m 51s ci/benchmark-regression-gate
ci/benchmark-regression-gate
5m 51s
ci: integrate nf-benchmark submodule into CI pipeline Formal Verification #193: Pull request #109 synchronize by jobordu
5m 30s ci/benchmark-submodule
ci/benchmark-submodule
5m 30s
fix(solve): fix benchmark detection gaps — focusSet bug + direct file reads Formal Verification #192: Pull request #110 opened by jobordu
5m 55s feature/issue-105-fix-nf-solve-benchmark
feature/issue-105-fix-nf-solve-benchmark
5m 55s
fix(solve): fix benchmark detection gaps — 20.4% → 35%+ (issue #105) … Formal Verification #191: Commit 37a0a48 pushed by jobordu
5m 28s main
main
5m 28s
fix(solve): fix benchmark detection gaps — 20.4% → 35%+ (issue #105) Formal Verification #190: Pull request #106 synchronize by jobordu
5m 41s feature/issue-105-fix-nf-solve-benchmark
feature/issue-105-fix-nf-solve-benchmark
5m 41s
fix(solve): fix benchmark detection gaps — 20.4% → 35%+ (issue #105) Formal Verification #189: Pull request #106 synchronize by jobordu
5m 32s feature/issue-105-fix-nf-solve-benchmark
feature/issue-105-fix-nf-solve-benchmark
5m 32s
fix(solve): fix benchmark detection gaps — 20.4% → 35%+ (issue #105) Formal Verification #188: Pull request #106 reopened by jobordu
5m 35s feature/issue-105-fix-nf-solve-benchmark
feature/issue-105-fix-nf-solve-benchmark
5m 35s