Skip to content
Test

Pp a match having a branch matching against a nested data #1016

Sign in to view logs

Pp a match having a branch matching against a nested data

Pp a match having a branch matching against a nested data #1016

Triggered via pull request August 13, 2023 07:28
@toku-sa-ntoku-sa-n
opened #107
match-against-nested-data
Status Failure
Total duration 24m 24s
Artifacts –

test.yml

on: pull_request
prettier
8s
prettier
ocamlformat
5m 20s
ocamlformat
test_coq_files
11m 20s
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 (macos-latest)
Process completed with exit code 1.
test (windows-latest)
Process completed with exit code 1.