Skip to content
Fuzzing on PR

Enable generating a parsed AST for Dafny, and a deserializer for that #1258

Sign in to view logs

Enable generating a parsed AST for Dafny, and a deserializer for that

Enable generating a parsed AST for Dafny, and a deserializer for that #1258

Triggered via pull request February 12, 2025 13:33
@keyboardDrummerkeyboardDrummer
synchronize #6102
Status Success
Total duration 11s
Artifacts –

compfuzzci_fuzz.yaml

on: pull_request_target
FuzzOnPR
2s
FuzzOnPR
Fit to window
Zoom out
Zoom in