Skip to content
.github/workflows/charon.yml

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

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

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

charon.yml

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