Skip to content
Open Issues

make default tactic cases lazy #2562

Sign in to view logs

make default tactic cases lazy

make default tactic cases lazy #2562

Triggered via push September 27, 2024 14:11
@NikolajBjornerNikolajBjorner
pushed 11bb19d
master
Status Success
Total duration 29m 44s
Artifacts –

wip.yml

on: push
build
29m 33s
build
Fit to window
Zoom out
Zoom in