Skip to content

Import the teams for SR2025 #3

Import the teams for SR2025

Import the teams for SR2025 #3

Annotations

1 error and 1 warning

validate

failed Oct 19, 2024 in 6s
Set up job
1s
Checkout sources
1s
Run PeterJCLaw/srcomp-validate-action@v0.7
3s
Post Run PeterJCLaw/srcomp-validate-action@v0.7
0s
Post Checkout sources
0s
Complete job
0s