Skip to content
CI

Change greedy search to lazy search #45

Sign in to view logs

Change greedy search to lazy search

Change greedy search to lazy search #45

Triggered via push June 28, 2023 09:23
@DanielNoordDanielNoord
pushed e5ec8e4
main
Status Success
Total duration 17s
Artifacts –

CI.yml

on: push
Check_linting_test_and_build
10s
Check_linting_test_and_build
Fit to window
Zoom out
Zoom in