Skip to content
hax

Bertie Lax Typechecking #219

Sign in to view logs

Bertie Lax Typechecking

Bertie Lax Typechecking #219

Triggered via pull request April 3, 2024 10:37
@karthikbhargavankarthikbhargavan
synchronize #107
lucas/fstar-wip
Status Cancelled
Total duration 11m 55s
Artifacts –

hax.yml

on: pull_request
hax
11m 43s
hax
Fit to window
Zoom out
Zoom in

Annotations

2 errors
hax
Canceling since a higher priority waiting request for 'hax-refs/pull/107/merge' exists
hax
The operation was canceled.