Skip to content
CI

Allow spec/proof/exec annotations for constants #88

Sign in to view logs

Allow spec/proof/exec annotations for constants

Allow spec/proof/exec annotations for constants #88

Triggered via push December 28, 2023 17:55
@parnoparno
pushed f878baf
main
Status Success
Total duration 36s
Artifacts –

ci.yml

on: push
Build and Test
27s
Build and Test
Fit to window
Zoom out
Zoom in