docker-ci

Rewrite head_equivalent_def using "case .. of"; merged all RNEWS_TAC #641

Sign in to view logs

Triggered via push November 29, 2024 04:08

mn200

develop

Status Success

Total duration 1h 57m 28s

Artifacts –

docker-ci.yml

on: push