Skip to content
.github/workflows/charon.yml

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

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 #142

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

charon.yml

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