Skip to content
.github/workflows/charon.yml

fix(engine/fstar): use Base.String.hash instead of String.hash #152

Sign in to view logs

fix(engine/fstar): use Base.String.hash instead of String.hash

fix(engine/fstar): use Base.String.hash instead of String.hash #152

Triggered via pull request June 27, 2024 13:28
@W95PspW95Psp
opened #740
fix-string-hash-ocaml-4
Status Success
Total duration 6m 9s
Artifacts –

charon.yml

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