Skip to content

Remove turn-on-purescript-font-lock and turn-off-purescript-font-lock #93

Remove turn-on-purescript-font-lock and turn-off-purescript-font-lock

Remove turn-on-purescript-font-lock and turn-off-purescript-font-lock #93

Triggered via pull request February 23, 2025 11:24
Status Success
Total duration 34s
Artifacts

ci.yml

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