Skip to content
.github/workflows/ci.yml

Insert raw commands into .smt2 file with #![raw_command()] attribute #120

Sign in to view logs

Insert raw commands into .smt2 file with #![raw_command()] attribute

Insert raw commands into .smt2 file with #![raw_command()] attribute #120

Triggered via pull request January 20, 2026 11:24
@coeff-aijcoeff-aij
synchronize #21
coeff-aij:raw-define
Status Success
Total duration 1m 13s
Artifacts –

ci.yml

on: pull_request
fmt
45s
fmt
clippy
41s
clippy
test
1m 10s
test
Fit to window
Zoom out
Zoom in