Skip to content

Merge pull request #19 from jfennick/desugar_canonical use canonical normal form(s) - main - ubuntu-latest #56

Merge pull request #19 from jfennick/desugar_canonical use canonical normal form(s) - main - ubuntu-latest

Merge pull request #19 from jfennick/desugar_canonical use canonical normal form(s) - main - ubuntu-latest #56

Triggered via repository dispatch May 7, 2024 11:50
Status Success
Total duration 10s
Artifacts

ci_receive.yml

on: repository_dispatch
ci_receive
0s
ci_receive
Fit to window
Zoom out
Zoom in