docker-ci

Merge pull request #1146 from jhlchan/fermat #205

Sign in to view logs

Triggered via push September 26, 2023 00:33

mn200

develop

Status Success

Total duration 1h 31m 58s

Artifacts –

docker-ci.yml

on: push