CI

Sketching the formal desugaring of Eunoia in the user manual #1105

Sign in to view logs

Triggered via pull request April 10, 2025 15:24

ajreynol

opened #131

formalDesugar

Status Success

Total duration 1m 30s

Artifacts –

main.yml

on: pull_request

Matrix: build