Skip to content
.github/workflows/charon.yml

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

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

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

charon.yml

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