Skip to content
Updating CompFuzzCI on PR Closed

Update Boogie to 3.2.4 #5

Sign in to view logs

Update Boogie to 3.2.4

Update Boogie to 3.2.4 #5

Triggered via pull request August 23, 2024 11:29
@keyboardDrummerkeyboardDrummer
closed #5709
keyboardDrummer:updateBoogie
Status Skipped
Total duration 2s
Artifacts –

compfuzzci_close_pr.yaml

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