Skip to content

Actions: restaumatic/purescript

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
29 workflow runs
29 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

v0.15.15-restaumatic8
CI #89: Release v0.15.15-restaumatic8 published by zyla
June 23, 2025 06:57 46m 0s
June 23, 2025 06:57 46m 0s
May 29, 2025 07:06 43m 20s
Use a simpler monad in occurs check and check valid kind
CI #83: Pull request #8 synchronize by kozak
May 28, 2025 20:47 45m 37s optimize-occurs-check
May 28, 2025 20:47 45m 37s
Use a simpler monad in occurs check and check valid kind
CI #82: Pull request #8 synchronize by kozak
May 28, 2025 20:11 37m 26s optimize-occurs-check
May 28, 2025 20:11 37m 26s
Use a simpler monad in occurs check and check valid kind
CI #76: Pull request #8 synchronize by kozak
May 27, 2025 10:09 40m 57s optimize-occurs-check
May 27, 2025 10:09 40m 57s
v0.15.15-restaumatic7
CI #74: Release v0.15.15-restaumatic7 published by zyla
May 26, 2025 11:32 50m 45s
May 26, 2025 11:32 50m 45s
ExternsDiff: compute deps of TypeSynonyms properly (#7)
CI #73: Commit 8f9bc92 pushed by zyla
May 26, 2025 09:49 44m 43s restaumatic
May 26, 2025 09:49 44m 43s
Bring back original Logger
CI #72: Commit c492385 pushed by zyla
May 22, 2025 08:43 49m 13s restaumatic
May 22, 2025 08:43 49m 13s
v0.15.15-restaumatic6
CI #71: Release v0.15.15-restaumatic6 published by zyla
May 13, 2025 08:13 50m 37s
May 13, 2025 08:13 50m 37s
v0.15.15-restaumatic5
CI #70: Release v0.15.15-restaumatic5 published by zyla
May 13, 2025 06:09 58m 17s
May 13, 2025 06:09 58m 17s
v0.15.15-restaumatic4
CI #69: Release v0.15.15-restaumatic4 published by zyla
May 12, 2025 09:31 45m 1s
May 12, 2025 09:31 45m 1s
Upgrade to GHC 9.6.6 (#4568)
CI #68: Commit 48be80d pushed by kozak
May 4, 2025 15:17 16m 3s master
May 4, 2025 15:17 16m 3s
Do not overwrite result.cbor by LSP
CI #67: Release v0.15.15-restaumatic3 published by jborkowski
December 2, 2024 16:20 39m 8s
December 2, 2024 16:20 39m 8s
Re make-cutoff
CI #66: Pull request #6 synchronize by jborkowski
December 2, 2024 16:18 15m 54s re-make-cutoff
December 2, 2024 16:18 15m 54s
Re make-cutoff
CI #65: Pull request #6 synchronize by jborkowski
December 2, 2024 10:20 17m 22s re-make-cutoff
December 2, 2024 10:20 17m 22s