Skip to content
Build main

Fix #2954 by using mkIdent in SynPat.OptionalVal (#2956) #4550

Sign in to view logs

Fix #2954 by using mkIdent in SynPat.OptionalVal (#2956)

Fix #2954 by using mkIdent in SynPat.OptionalVal (#2956) #4550

Triggered via push September 12, 2023 12:35
@jindraivanekjindraivanek
pushed 74b1812
main
Status Success
Total duration 10m 45s
Artifacts –

main.yml

on: push
Matrix: build
Fit to window
Zoom out
Zoom in