Test and Deploy

Add mypy checks in CI #295

Sign in to view logs

Re-run triggered June 24, 2025 10:01

Framba-Luca

#813

add_typing_hints

Status Cancelled

Total duration 1m 56s

Artifacts –

test.yml

on: pull_request

Matrix: run-tests-master

Matrix: run-tests

Annotations

1 error

run-tests (ubuntu-latest, cvc5)

Process completed with exit code 134.