Skip to content
.github/workflows/charon.yml

count_ones and bool->int #709

Sign in to view logs

count_ones and bool->int

count_ones and bool->int #709

Triggered via pull request October 29, 2024 19:15
@karthikbhargavankarthikbhargavan
opened #1071
fstar-proof-lib-small-additions
Status Success
Total duration 9m 32s
Artifacts –

charon.yml

on: pull_request
charon
9m 22s
charon
Fit to window
Zoom out
Zoom in