Skip to content

Merge branch 'qe3' into 1049-status-dns-u-závodníka-co-nakonec-běžel #191

Merge branch 'qe3' into 1049-status-dns-u-závodníka-co-nakonec-běžel

Merge branch 'qe3' into 1049-status-dns-u-závodníka-co-nakonec-běžel #191

Triggered via push October 24, 2025 18:01
Status Success
Total duration 1m 40s
Artifacts

lint.yml

on: push
clang-tidy / Ubuntu 22.04
1m 35s
clang-tidy / Ubuntu 22.04
clazy / Ubuntu 22.04
1m 30s
clazy / Ubuntu 22.04
Fit to window
Zoom out
Zoom in