Skip to content

Remove [dev] extra when building docker container for Porter #16

Remove [dev] extra when building docker container for Porter

Remove [dev] extra when building docker container for Porter #16

Triggered via pull request September 29, 2023 13:18
Status Success
Total duration 27s
Artifacts

darker.yml

on: pull_request
Fit to window
Zoom out
Zoom in