chore: update to nightly-2025-01-22 #136
Triggered via pull request
January 23, 2025 09:39
tobiasgrosser
Status
Success
Total duration
2h 40m 29s
Artifacts
–
evaluation.yml
on: pull_request
Evaluation of Tactics & Decision Procedures
1h 42m