Static Type Checks

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

Sign in to view logs

Triggered via push April 13, 2025 13:21

master

Status Failure

Total duration 2m 30s

Artifacts –

check-types.yml

on: push

Annotations

1 error

type-checking

Process completed with exit code 1.