Skip to content
Windows

Issue1128 #1308

Sign in to view logs

Issue1128

Issue1128 #1308

Triggered via pull request January 9, 2024 09:45
@ClemensBuechnerClemensBuechner
synchronize #200
ClemensBuechner:cegar-pdbs-all-goals
Status Success
Total duration 13m 28s
Artifacts –

windows.yml

on: pull_request
Matrix: Compile and test planner
Fit to window
Zoom out
Zoom in