Skip to content
continuous-integration

[untested] transdorm expressions to Z3 AST #140

Sign in to view logs

[untested] transdorm expressions to Z3 AST

[untested] transdorm expressions to Z3 AST #140

Triggered via push March 30, 2024 01:57
@SkymanOneSkymanOne
pushed a7fce51
verifier
Status Success
Total duration 54s
Billable time 3m
Artifacts –

ci.yml

on: push
Tests
43s
Tests
Check clippy and documentation
44s
Check clippy and documentation
Check formatting
20s
Check formatting
Fit to window
Zoom out
Zoom in