Skip to content

Add Certora syntax highlighting (#5861) #1550

Add Certora syntax highlighting (#5861)

Add Certora syntax highlighting (#5861) #1550

Triggered via push August 21, 2025 21:01
Status Failure
Total duration 1m 31s
Artifacts

upgradeable.yml

on: push
Fit to window
Zoom out
Zoom in

Annotations

1 error
transpile
Process completed with exit code 1.