Skip to content
CI

Merge pull request #2485 from dianne/update-cond-loop-desugaring #5069

Sign in to view logs

Merge pull request #2485 from dianne/update-cond-loop-desugaring

Merge pull request #2485 from dianne/update-cond-loop-desugaring #5069

Triggered via push June 30, 2025 06:53
@NoratriebNoratrieb
pushed 40a2556
master
Status Success
Total duration 14s
Artifacts –

ci.yml

on: push
ci
10s
ci
Fit to window
Zoom out
Zoom in