Skip to content
.github/workflows/charon.yml

Small PR to fix circularity in Core.Fmt.fsti #377

Sign in to view logs

Small PR to fix circularity in Core.Fmt.fsti

Small PR to fix circularity in Core.Fmt.fsti #377

Triggered via pull request September 3, 2024 12:55
@karthikbhargavankarthikbhargavan
opened #873
core-fmt
Status Success
Total duration 9m 2s
Artifacts –

charon.yml

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