Continuous Integration

v0.2.0 #13

Sign in to view logs

Triggered via push February 27, 2025 18:49

wadoon

main

Status Failure

Total duration 35s

Artifacts –

ci.yml

on: push

TypeScript Tests

GitHub Actions Test

Annotations

1 error and 1 warning

TypeScript Tests

Process completed with exit code 1.

GitHub Actions Test

Unexpected input(s) 'milliseconds', valid inputs are ['z3Version', 'cvc5Version']