Skip to content
Test

Fix #971

Sign in to view logs

Fix

Fix #971

Triggered via push August 12, 2023 11:58
@toku-sa-ntoku-sa-n
pushed 8502a14
match-against-constructor-with-multiple-values
Status Failure
Total duration 22m 31s
Artifacts –

test.yml

on: push
prettier
8s
prettier
ocamlformat
6m 20s
ocamlformat
test_coq_files
9m 9s
test_coq_files
Matrix: test
Fit to window
Zoom out
Zoom in

Annotations

3 errors
test (ubuntu-latest)
Process completed with exit code 1.
test (windows-latest)
Process completed with exit code 1.
test (macos-latest)
Process completed with exit code 1.