Skip to content
NPM/Bun Blocker

feat(assail/rocq): classify scaffold parameters as non-postulates #156

Sign in to view logs

feat(assail/rocq): classify scaffold parameters as non-postulates

feat(assail/rocq): classify scaffold parameters as non-postulates #156

Triggered via push April 18, 2026 11:50
@hyperpolymathhyperpolymath
pushed 6d6822a
main
Status Success
Total duration 21s
Artifacts –

npm-bun-blocker.yml

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