Import Checks

Z3 (currently?) does not run on linux/arm64 #367

Sign in to view logs

Triggered via push April 13, 2025 13:21

master

Status Failure

Total duration 2m 11s

Artifacts –

check-imports.yml

on: push

Annotations

1 error

check-imports

Process completed with exit code 1.