Skip to content

Statics can also have ensures clauses #92

Statics can also have ensures clauses

Statics can also have ensures clauses #92

Triggered via push December 28, 2023 19:57
Status Success
Total duration 38s
Artifacts

ci.yml

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