Skip to content
Test Workspace

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

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

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

test.yml

on: pull_request
no-std-lib
41s
no-std-lib
Matrix: test-workspace
Fit to window
Zoom out
Zoom in