Skip to content
Updating CompFuzzCI on PR Closed

Chore: Not generate boogie translation if not verifying #199

Sign in to view logs

Chore: Not generate boogie translation if not verifying

Chore: Not generate boogie translation if not verifying #199

Triggered via pull request February 4, 2025 14:30
@MikaelMayerMikaelMayer
closed #6067
chore-do-boogie-translation
Status Success
Total duration 12s
Artifacts –

compfuzzci_close_pr.yaml

on: pull_request
UpdatePRClosed
2s
UpdatePRClosed
Fit to window
Zoom out
Zoom in