Skip to content
Non --via-ir Compilation

specs: Adds Certora specs for Scribe #117

Sign in to view logs

specs: Adds Certora specs for Scribe

specs: Adds Certora specs for Scribe #117

Triggered via pull request February 23, 2026 12:50
@pmerkleplantpmerkleplant
synchronize #60
specs
Status Success
Total duration 48s
Artifacts –

non-via-ir-compilation.yml

on: pull_request
tests
44s
tests
Fit to window
Zoom out
Zoom in