Skip to content
.github/workflows/charon.yml

F*: macros: make verification_status and options appear in impl not interfaces #328

Sign in to view logs

F*: macros: make verification_status and options appear in impl not interfaces

F*: macros: make verification_status and options appear in impl not interfaces #328

Triggered via pull request August 13, 2024 14:13
@W95PspW95Psp
opened #846
fix-fsti-fst-options
Status Success
Total duration 9m 4s
Artifacts –

charon.yml

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