Skip to content

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

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
Status Success
Total duration 4m 21s
Artifacts

docker.yaml

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