Skip to content

Merge branch 'develop' of github.com:EdgelessPE/ept into develop #25

Merge branch 'develop' of github.com:EdgelessPE/ept into develop

Merge branch 'develop' of github.com:EdgelessPE/ept into develop #25

Triggered via push January 5, 2024 14:50
Status Success
Total duration 5m 20s
Artifacts

ut.yml

on: push
Fit to window
Zoom out
Zoom in