Skip to content
.github/workflows/charon.yml

fix(engine/fstar): fix c_trait_goal and always use it for traits #149

Sign in to view logs

fix(engine/fstar): fix c_trait_goal and always use it for traits

fix(engine/fstar): fix c_trait_goal and always use it for traits #149

Triggered via pull request June 26, 2024 16:07
@W95PspW95Psp
synchronize #738
fix-719-for-good---hopefully
Status Success
Total duration 6m 32s
Artifacts –

charon.yml

on: pull_request
charon
6m 20s
charon
Fit to window
Zoom out
Zoom in