Test installations

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

Sign in to view logs

Triggered via pull request June 26, 2024 16:07

W95Psp

synchronize #738

fix-719-for-good---hopefully

Status Skipped

Total duration 4s

Artifacts –

test_installs.yml

on: pull_request

Matrix: setup_sh

setup_sh_status