Updating CompFuzzCI on PR Closed

Speed up `dafny verify` by reducing memory pressure #68

Sign in to view logs

Triggered via pull request October 21, 2024 15:58

keyboardDrummer

closed #5827

keyboardDrummer:onlyClaimVerificationMemoryPerModule

Status Skipped

Total duration 2s

Artifacts –

compfuzzci_close_pr.yaml

on: pull_request