Skip to content
Twelf-Wasm Unit Tests

Add vacuous test #2

Sign in to view logs

Add vacuous test

Add vacuous test #2

Triggered via push March 20, 2024 22:21
@jcreedcmujcreedcmu
pushed 3e495a5
main
Status Failure
Total duration 16s
Artifacts –

run-tests.yml

on: push
build-test
8s
build-test
Fit to window
Zoom out
Zoom in

Annotations

1 error
build-test
Process completed with exit code 1.