wadoonci.yml
on: push
TypeScript Tests
24s
GitHub Actions Test
6s
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']
|