Skip to content
.github/workflows/charon.yml

fix(engine/importer): use correct field to import concrete implexprs #378

Sign in to view logs

fix(engine/importer): use correct field to import concrete implexprs

fix(engine/importer): use correct field to import concrete implexprs #378

Triggered via pull request September 3, 2024 18:38
@paulmurepaulmure
synchronize #835
paulmure:concrete-trait-bounds
Status Success
Total duration 8m 46s
Artifacts –

charon.yml

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