CI

Bertie Lax Typechecking #239

Sign in to view logs

Triggered via pull request April 3, 2024 10:37

karthikbhargavan

synchronize #107

lucas/fstar-wip

Status Failure

Total duration 23m 19s

Artifacts –

ci.yml

on: pull_request

Matrix: test

Matrix: benchmark

Annotations

1 error

Process completed with exit code 1.