Skip to content
RSR Anti-Pattern Check

Remove template-only ABI files that falsely implied formal verification #29

Sign in to view logs

Remove template-only ABI files that falsely implied formal verification

Remove template-only ABI files that falsely implied formal verification #29

Triggered via push March 30, 2026 09:13
@hyperpolymathhyperpolymath
pushed 2517cf1
main
Status Failure
Total duration 24m 57s
Artifacts –

rsr-antipattern.yml

on: push
antipattern-check
5s
antipattern-check
Fit to window
Zoom out
Zoom in

Annotations

1 error
antipattern-check
Process completed with exit code 1.