Skip to content

Actions: pulseengine/rules_rocq_rust

Actions

Quick Test

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
quick_test.yml
103 workflow runs
103 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
feat(rocq): wire mathcomp into the toolchain — Coq-Interval is unusab… Quick Test #103: Commit ee900f0 pushed by avrabe
2h 44m 13s main
main
2h 44m 13s
feat(rocq): wire mathcomp into the toolchain — Coq-Interval is unusable without it Quick Test #102: Pull request #43 synchronize by avrabe
1h 1m 57s feat/mathcomp-for-coq-interval
feat/mathcomp-for-coq-interval
1h 1m 57s
fix(rivet): correct FEAT-001 -- Coq-Interval is not actually usable Quick Test #101: Pull request #44 opened by avrabe
1h 8m 43s docs/feat-001-interval-gap-correction
docs/feat-001-interval-gap-correction
1h 8m 43s
feat(rocq): wire mathcomp into the toolchain — Coq-Interval is unusable without it Quick Test #100: Pull request #43 opened by avrabe
2h 42m 58s feat/mathcomp-for-coq-interval
feat/mathcomp-for-coq-interval
2h 42m 58s
docs: gate README claims against live evidence (claim-verification) (… Quick Test #99: Commit 670c2ee pushed by avrabe
27s main
main
27s
docs: gate README claims against live evidence (claim-verification) Quick Test #98: Pull request #42 synchronize by avrabe
21m 56s docs/claim-verification-gate
docs/claim-verification-gate
21m 56s
docs: gate README claims against live evidence (claim-verification) Quick Test #97: Pull request #42 opened by avrabe
22m 47s docs/claim-verification-gate
docs/claim-verification-gate
22m 47s
feat(rocq): add Flocq/Gappa/Coq-Interval for machine-checked FP error… Quick Test #96: Commit 7fc6a3b pushed by avrabe
18s main
main
18s
feat(rocq): add Flocq/Gappa/Coq-Interval for machine-checked FP error bounds Quick Test #95: Pull request #41 opened by avrabe
5m 19s feat/gappa-flocq-interval-toolchain
feat/gappa-flocq-interval-toolchain
5m 19s
feat: bootstrap rivet verification scaffolding, seed hazard analysis … Quick Test #94: Commit bacc932 pushed by avrabe
17s main
main
17s
fix(readme): replace flat "Formally Verified" badge with a Rocq badge… Quick Test #93: Commit 9240ff5 pushed by avrabe
20s main
main
20s
feat: bootstrap rivet verification scaffolding, seed hazard analysis for #37 Quick Test #92: Pull request #40 opened by avrabe
19s feat/bootstrap-rivet-verification
feat/bootstrap-rivet-verification
19s
fix(readme): replace flat verification badge with honest Rocq badge Quick Test #91: Pull request #38 opened by avrabe
19s fix/readme-badge-honesty
fix/readme-badge-honesty
19s
fix(rocq_library): add self -Q even when out_dir is parent of dep pat… Quick Test #90: Commit 36184f0 pushed by avrabe
1m 15s main
main
1m 15s
fix(rocq_library): add self -Q even when out_dir is parent of dep paths Quick Test #89: Pull request #35 opened by avrabe
31s fix/example-standalone-rocq-import
fix/example-standalone-rocq-import
31s
build: migrate rocq-of-rust to a hermetic rules_rust toolchain (#34) Quick Test #88: Commit e4660cc pushed by avrabe
2m 40s main
main
2m 40s
rules_rust migration for the rocq-of-rust toolchain (epic) Quick Test #87: Pull request #34 synchronize by avrabe
14s chore/hermetic-rust-toolchain
chore/hermetic-rust-toolchain
14s
rules_rust migration for the rocq-of-rust toolchain (epic) Quick Test #86: Pull request #34 synchronize by avrabe
19s chore/hermetic-rust-toolchain
chore/hermetic-rust-toolchain
19s
rules_rust migration for the rocq-of-rust toolchain (epic) Quick Test #85: Pull request #34 synchronize by avrabe
20s chore/hermetic-rust-toolchain
chore/hermetic-rust-toolchain
20s
rules_rust migration for the rocq-of-rust toolchain (epic) Quick Test #84: Pull request #34 synchronize by avrabe
54s chore/hermetic-rust-toolchain
chore/hermetic-rust-toolchain
54s
rules_rust migration for the rocq-of-rust toolchain (epic) Quick Test #83: Pull request #34 synchronize by avrabe
15s chore/hermetic-rust-toolchain
chore/hermetic-rust-toolchain
15s
rules_rust migration for the rocq-of-rust toolchain (epic) Quick Test #82: Pull request #34 synchronize by avrabe
17s chore/hermetic-rust-toolchain
chore/hermetic-rust-toolchain
17s
rules_rust migration for the rocq-of-rust toolchain (epic) Quick Test #81: Pull request #34 synchronize by avrabe
15s chore/hermetic-rust-toolchain
chore/hermetic-rust-toolchain
15s
rules_rust migration for the rocq-of-rust toolchain (epic) Quick Test #80: Pull request #34 synchronize by avrabe
17s chore/hermetic-rust-toolchain
chore/hermetic-rust-toolchain
17s
rules_rust migration for the rocq-of-rust toolchain (epic) Quick Test #79: Pull request #34 synchronize by avrabe
16s chore/hermetic-rust-toolchain
chore/hermetic-rust-toolchain
16s