Clean

add explicit names for givens for easier binary compatibility #277

Sign in to view logs

Triggered via push December 19, 2023 22:54

jatcwang

opt_in_derivation

Status Success

Total duration 12s

Artifacts –

clean.yml

on: push

Delete Artifacts