Skip to content
CI

Merge pull request #22 from pep-dortmund/makefile_number #33

Sign in to view logs

Merge pull request #22 from pep-dortmund/makefile_number

Merge pull request #22 from pep-dortmund/makefile_number #33

Triggered via push July 26, 2025 15:38
@aknierimaknierim
pushed b718c8b
main
Status Success
Total duration 4m 25s
Artifacts –

ci.yml

on: push
build
4m 22s
build
Fit to window
Zoom out
Zoom in