Skip to content
Build and Verify

Merge pull request #233 from pep-dortmund/fix_repository_option #424

Sign in to view logs

Merge pull request #233 from pep-dortmund/fix_repository_option

Merge pull request #233 from pep-dortmund/fix_repository_option #424

Triggered via push August 17, 2023 10:52
@chrbeckmchrbeckm
pushed 0b772d1
main
Status Success
Total duration 50s
Artifacts –

build.yml

on: push
build
42s
build
Fit to window
Zoom out
Zoom in