Skip to content
.github/workflows/charon.yml

fix(backends/fstar): no __marker_trait if parent bounds #62

Sign in to view logs

fix(backends/fstar): no __marker_trait if parent bounds

fix(backends/fstar): no __marker_trait if parent bounds #62

Triggered via pull request June 10, 2024 14:17
@W95PspW95Psp
opened #712
fstar-uniform-marker-trait
Status Success
Total duration 5m 59s
Artifacts –

charon.yml

on: pull_request
charon
5m 50s
charon
Fit to window
Zoom out
Zoom in