Docker CI

Merge pull request #142 from uwplse/from-require #14

Sign in to view logs

Triggered via push October 20, 2023 18:50

palmskog

master

Status Success

Total duration 4m 12s

Artifacts –

This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

docker-action.yml

on: push

Matrix: build