Skip to content

fix(engine): Concrete_ident_generated: name -> t, derive more #100

fix(engine): Concrete_ident_generated: name -> t, derive more

fix(engine): Concrete_ident_generated: name -> t, derive more #100

Triggered via pull request June 20, 2024 09:52
Status Failure
Total duration 4m 32s
Artifacts

charon.yml

on: pull_request
Fit to window
Zoom out
Zoom in

Annotations

1 error
charon
Process completed with exit code 1.