Skip to content

Actions: purerl/purerl

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
6 workflow runs
6 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

0.0.22 CI #76: Release v0.0.22 published by nwolverson
January 4, 2024 10:51 4m 33s
January 4, 2024 10:51 4m 33s
Merge pull request #38 from MonoidMusician/purs-15-14 CI #75: Commit ae1aad5 pushed by nwolverson
January 3, 2024 20:53 36m 23s master
master
January 3, 2024 20:53 36m 23s
Update for purs 0.15.14 CI #74: Pull request #38 opened by MonoidMusician
January 3, 2024 20:04 32m 51s MonoidMusician:purs-15-14
MonoidMusician:purs-15-14
January 3, 2024 20:04 32m 51s
0.0.21 CI #73: Release v0.0.21 published by nwolverson
August 9, 2023 08:04 5m 45s
August 9, 2023 08:04 5m 45s
Bump version CI #72: Commit ae52901 pushed by nwolverson
August 9, 2023 08:01 13m 48s master
master
August 9, 2023 08:01 13m 48s
Limit inlining performed to enable rewriting CI #71: Commit 0e9d145 pushed by nwolverson
August 8, 2023 16:41 36m 41s master
master
August 8, 2023 16:41 36m 41s