testcomp25
Dirk Beyer
@dbeyer
38cc9d93
·
Merge branch 'allowlist-invalid-task-defs-in-ci' into 'main'
·
Dec 12, 2024
Unverified
Verification tasks as used for Test-Comp 2025
