Abella check tests

fix: rm one `@tailcall` not supported in OCaml 4.12.x #92

Sign in to view logs

Triggered via push November 3, 2023 21:45

chaudhuri

master

Status Success

Total duration 7m 54s

Artifacts –

check-tests.yml

on: push

Matrix: build