`ADT_C` sorry-free #2746

Sign in to view logs

Triggered via pull request October 23, 2023 00:45

michaelmcinerney

synchronize #685

michaelm-adt_c_sorry_free

Status Success

Total duration 31s

Artifacts –

push.yml

on: pull_request