Skip to content
build docker image

More rename gps to gnss #919

Sign in to view logs

More rename gps to gnss

More rename gps to gnss #919

Triggered via pull request July 29, 2024 18:43
@rzinkerzinke
opened #1243
rzinke:gps_rename
Status Success
Total duration 4m 45s
Artifacts 1

build-docker.yml

on: pull_request
Build Docker image and push to GitHub Container Registry
4m 35s
Build Docker image and push to GitHub Container Registry
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
insarlab~MintPy~0M2U7H.dockerbuild Expired
46.5 KB