Skip to content
formal verification

Fix typo in GUIDELINES.md #5323

Sign in to view logs

Fix typo in GUIDELINES.md

Fix typo in GUIDELINES.md #5323

Triggered via pull request November 20, 2024 06:29
@famouswizardfamouswizard
synchronize #5297
famouswizard:master
Status Success
Total duration 59s
Artifacts –

formal-verification.yml

on: pull_request
apply-diff
2s
apply-diff
verify
0s
verify
halmos
45s
halmos
Fit to window
Zoom out
Zoom in