feat(#374): lower memory.copy/memory.fill (bulk-memory) — bounds-chec… #666
avrabeci.yml
on: push
Test
17m 36s
Clippy
16m 21s
Format
33s
Version Pin Sweep
8s
Z3 Verification
17m 35s
Kani Verification
53s
Rivet Validation
4m 18s
Bazel Build & Proofs
2m 43s
Code Coverage
2m 29s
Annotations
1 warning
|
Rivet Validation
Cross-repo link errors present (expected — external projects need rivet init)
|