Skip to content

Merge pull request #2 from coalton-lang/nonempty-string #3

Merge pull request #2 from coalton-lang/nonempty-string

Merge pull request #2 from coalton-lang/nonempty-string #3

Triggered via push June 7, 2024 00:36
Status Success
Total duration 1m 5s
Artifacts

ci.yml

on: push
changedfiles
4s
changedfiles
Matrix: test
Fit to window
Zoom out
Zoom in