DafnyCompilerFuzzer

Handling Dafny compiler fuzzing in CI

Name		Name	Last commit message	Last commit date
Latest commit History 143 Commits
.github/workflows		.github/workflows
Docker		Docker
misc		misc
scripts		scripts
.gitignore		.gitignore
README.md		README.md
bisecting_task_definition.json		bisecting_task_definition.json
entrypoint.sh		entrypoint.sh
fuzzing_task_definition.json		fuzzing_task_definition.json
processing_task_definition.json		processing_task_definition.json

Provide feedback