CI

Proving Panic Freedom in F* #249

Sign in to view logs

Triggered via pull request April 5, 2024 06:45

karthikbhargavan

opened #112

bertie-panic-freedom

Status Failure

Total duration 22m 3s

Artifacts –

ci.yml

on: pull_request

Matrix: test

Matrix: benchmark

Annotations

1 error

Process completed with exit code 1.