Skip to content

update Docker image location #182

update Docker image location

update Docker image location #182

Triggered via pull request February 19, 2025 14:47
@palmskogpalmskog
synchronize #154
rocq-ci
Status Success
Total duration 44s
Artifacts

nix-action.yml

on: pull_request
Matrix: build
Fit to window
Zoom out
Zoom in