Skip to content
.github/workflows/charon.yml

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

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

Triggered via pull request June 27, 2024 14:40
@W95PspW95Psp
synchronize #740
fix-string-hash-ocaml-4
Status Success
Total duration 6m 12s
Artifacts –

charon.yml

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