Skip to content

Actions: pulseengine/rules_rocq_rust

Actions

Documentation

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
docs.yml
34 workflow runs
34 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… Documentation #34: Commit ee900f0 pushed by avrabe
13s main
main
13s
feat(rocq): wire mathcomp into the toolchain — Coq-Interval is unusable without it Documentation #33: Pull request #43 synchronize by avrabe
16s feat/mathcomp-for-coq-interval
feat/mathcomp-for-coq-interval
16s
docs: gate README claims against live evidence (claim-verification) (… Documentation #32: Commit 670c2ee pushed by avrabe
13s main
main
13s
docs: gate README claims against live evidence (claim-verification) Documentation #31: Pull request #42 synchronize by avrabe
48s docs/claim-verification-gate
docs/claim-verification-gate
48s
docs: gate README claims against live evidence (claim-verification) Documentation #30: Pull request #42 opened by avrabe
31s docs/claim-verification-gate
docs/claim-verification-gate
31s
feat: bootstrap rivet verification scaffolding, seed hazard analysis … Documentation #29: Commit bacc932 pushed by avrabe
1m 19s main
main
1m 19s
fix(readme): replace flat "Formally Verified" badge with a Rocq badge… Documentation #28: Commit 9240ff5 pushed by avrabe
24s main
main
24s
feat: bootstrap rivet verification scaffolding, seed hazard analysis for #37 Documentation #27: Pull request #40 opened by avrabe
1m 14s feat/bootstrap-rivet-verification
feat/bootstrap-rivet-verification
1m 14s
fix(readme): replace flat verification badge with honest Rocq badge Documentation #26: Pull request #38 opened by avrabe
14s fix/readme-badge-honesty
fix/readme-badge-honesty
14s
build: migrate rocq-of-rust to a hermetic rules_rust toolchain (#34) Documentation #25: Commit e4660cc pushed by avrabe
2m 40s main
main
2m 40s
rules_rust migration for the rocq-of-rust toolchain (epic) Documentation #24: Pull request #34 synchronize by avrabe
13s chore/hermetic-rust-toolchain
chore/hermetic-rust-toolchain
13s
rules_rust migration for the rocq-of-rust toolchain (epic) Documentation #23: Pull request #34 synchronize by avrabe
28s chore/hermetic-rust-toolchain
chore/hermetic-rust-toolchain
28s
rules_rust migration for the rocq-of-rust toolchain (epic) Documentation #22: 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) Documentation #21: Pull request #34 synchronize by avrabe
27s chore/hermetic-rust-toolchain
chore/hermetic-rust-toolchain
27s
rules_rust migration for the rocq-of-rust toolchain (epic) Documentation #20: Pull request #34 synchronize by avrabe
12s chore/hermetic-rust-toolchain
chore/hermetic-rust-toolchain
12s
rules_rust migration for the rocq-of-rust toolchain (epic) Documentation #19: Pull request #34 synchronize by avrabe
2m 41s chore/hermetic-rust-toolchain
chore/hermetic-rust-toolchain
2m 41s
rules_rust migration for the rocq-of-rust toolchain (epic) Documentation #18: Pull request #34 synchronize by avrabe
22s chore/hermetic-rust-toolchain
chore/hermetic-rust-toolchain
22s
rules_rust migration for the rocq-of-rust toolchain (epic) Documentation #17: Pull request #34 synchronize by avrabe
16s chore/hermetic-rust-toolchain
chore/hermetic-rust-toolchain
16s
rules_rust migration for the rocq-of-rust toolchain (epic) Documentation #16: Pull request #34 synchronize by avrabe
13s chore/hermetic-rust-toolchain
chore/hermetic-rust-toolchain
13s
rules_rust migration for the rocq-of-rust toolchain (epic) Documentation #15: Pull request #34 synchronize by avrabe
1m 55s chore/hermetic-rust-toolchain
chore/hermetic-rust-toolchain
1m 55s
rules_rust migration for the rocq-of-rust toolchain (epic) Documentation #14: Pull request #34 synchronize by avrabe
1m 23s chore/hermetic-rust-toolchain
chore/hermetic-rust-toolchain
1m 23s
rules_rust migration for the rocq-of-rust toolchain (epic) Documentation #13: Pull request #34 opened by avrabe
33s chore/hermetic-rust-toolchain
chore/hermetic-rust-toolchain
33s
chore: bump Rust nightly to 2024-12-07, nixpkgs to Mar 2026, align Ro… Documentation #12: Commit ea3211f pushed by avrabe
8s main
main
8s
chore: bump Rust nightly, nixpkgs, align Rocq 9.0.1 Documentation #11: Pull request #22 opened by avrabe
8s chore/version-bumps-nightly-nixpkgs-rocq-9.0.1
chore/version-bumps-nightly-nixpkgs-rocq-9.0.1
8s
docs: align terminology with WebAssembly ecosystem standards Documentation #10: Commit 169c196 pushed by avrabe
7s main
main
7s