CI

Proving Panic Freedom in F* #250

Sign in to view logs

Triggered via pull request April 5, 2024 07:11

karthikbhargavan

synchronize #112

bertie-panic-freedom

Status Failure

Total duration 22m 26s

Artifacts –

ci.yml

on: pull_request

Matrix: test

Matrix: benchmark

Annotations

1 error

Process completed with exit code 101.