docker-ci-for-pr

add WF_PULL to relationTheory #200

Sign in to view logs

Triggered via pull request March 6, 2024 07:25

Gordon-Sau

synchronize #1204

Gordon-Sau:WF_PULL

Status Success

Total duration 59m 14s

Artifacts –

docker-ci-for-pr.yml

on: pull_request