Docker Image CI

Merge pull request #71 from GaloisInc/bugfix-update-image-paths #37

Sign in to view logs

Triggered via push June 17, 2024 23:40

podhrmic

main

Status Success

Total duration 34m 43s

Artifacts –

docker-image.yml

on: push