Skip to content
Docker

Save space on the GitHub runners by not building the devShells (#1705) #4391

Sign in to view logs

Save space on the GitHub runners by not building the devShells (#1705)

Save space on the GitHub runners by not building the devShells (#1705) #4391

Triggered via push October 11, 2024 13:40
@github-merge-queuegithub-merge-queue[bot]
pushed d8c0a49
master
Status Success
Total duration 4m 21s
Artifacts –

docker.yaml

on: push
Matrix: docker
Fit to window
Zoom out
Zoom in