Continuous Integration

Bump the npm-development group with 13 updates #31

Sign in to view logs

Triggered via push May 3, 2025 18:06

wadoon

main

Status Failure

Total duration 36s

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']