Skip to content
Generate document

Fix coalton-mode not to treat #\" as a string literal. (#1762) #1025

Sign in to view logs

Fix coalton-mode not to treat #\" as a string literal. (#1762)

Fix coalton-mode not to treat #\" as a string literal. (#1762) #1025

Triggered via push January 29, 2025 05:16
@cxxxrcxxxr
pushed 6c08220
main
Status Success
Total duration 2m 35s
Artifacts –

generate-document.yml

on: push
build
2m 26s
build
Fit to window
Zoom out
Zoom in