Skip to content

Actions: purerl/purescript-strings

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
7 workflow runs
7 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge branch 'build'
build #10: Commit 568b79a pushed by nwolverson
December 24, 2024 11:59 14m 18s master
December 24, 2024 11:59 14m 18s
December 24, 2024 11:57 34s
Use modern Erlang string functions in Data.String.Regex
build #8: Commit d0368d1 pushed by nwolverson
December 24, 2024 11:23 33s master
December 24, 2024 11:23 33s
build
build #7: Commit 7e2a531 pushed by nwolverson
December 24, 2024 11:09 14m 13s build
December 24, 2024 11:09 14m 13s
Update build to some copied nix thing
build #6: Commit 120eca4 pushed by nwolverson
December 24, 2024 11:03 19s build
December 24, 2024 11:03 19s
Merge pull request #7 from richcarl/string-common-fixes
build #5: Commit d13cac8 pushed by nwolverson
December 24, 2024 10:58 32s master
December 24, 2024 10:58 32s
new spago
build #4: Commit df3cca5 pushed by nwolverson
December 24, 2024 10:46 34s master
December 24, 2024 10:46 34s