Skip to content
Test

Pp a Fixpoint with multiple parameters #1020

Sign in to view logs

Pp a Fixpoint with multiple parameters

Pp a Fixpoint with multiple parameters #1020

Triggered via pull request August 13, 2023 13:30
@toku-sa-ntoku-sa-n
opened #108
fixpoint-multiple-parameters
Status Failure
Total duration 23m 23s
Artifacts –

test.yml

on: pull_request
prettier
12s
prettier
ocamlformat
5m 8s
ocamlformat
test_coq_files
8m 47s
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.