Skip to content

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

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

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

Triggered via pull request February 24, 2025 22:49
Status Success
Total duration 37s
Artifacts

ci.yml

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