Rewriter v0.0.11 #707

Sign in to view logs

Triggered via release March 19, 2024 22:53

JasonGross

published v0.0.11

Status Success

Total duration 37m 21s

Artifacts –

coq.yml

on: release

Matrix: build