Skip to content
build

Use control library without Z3. #103

Sign in to view logs

Use control library without Z3.

Use control library without Z3. #103

Triggered via push November 19, 2024 14:09
@daemontusdaemontus
pushed fc2c904
v0.5.0-snapshot1
Status Success
Total duration 2m 41s
Artifacts –

build.yml

on: push
Rustfmt
15s
Rustfmt
Check
52s
Check
Test Suite
1m 9s
Test Suite
Clippy
55s
Clippy
Fit to window
Zoom out
Zoom in