Skip to content

Actions: purescript/purescript

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
189 workflow runs
189 workflow runs
Event

Filter by event

Loading
Status

Filter by status

Loading
Branch
Actor

Filter by actor

Loading
Allow instances that require Fail to be empty (#4490)
CI #1368: Commit 6431cd3 pushed by JordanMartinez
July 22, 2023 14:28 40m 20s master
July 22, 2023 14:28 40m 20s
Move the closed record update optimization (#4489)
CI #1367: Commit cf53018 pushed by JordanMartinez
July 22, 2023 14:27 1m 20s master
July 22, 2023 14:27 1m 20s
Allow instances that require Fail to be empty
CI #1366: Pull request #4490 synchronize by rhendric
July 20, 2023 20:46 42m 45s rhendric:rhendric/fix-4483
July 20, 2023 20:46 42m 45s
Move the closed record update optimization
CI #1364: Pull request #4489 synchronize by rhendric
July 20, 2023 20:01 48m 43s rhendric:rhendric/fix-4473
July 20, 2023 20:01 48m 43s
v0.15.10
CI #1362: Release v0.15.10 published by JordanMartinez
July 18, 2023 21:12 52m 31s
July 18, 2023 21:12 52m 31s
Prep v0.15.10 release (#4484)
CI #1361: Commit 193977e pushed by JordanMartinez
July 18, 2023 21:11 50m 26s master
July 18, 2023 21:11 50m 26s
Prep v0.15.10 release
CI #1360: Pull request #4484 synchronize by JordanMartinez
July 18, 2023 20:27 41m 11s next-release
July 18, 2023 20:27 41m 11s
Prep v0.15.10 release
CI #1359: Pull request #4484 opened by JordanMartinez
July 18, 2023 19:28 49m 15s next-release
July 18, 2023 19:28 49m 15s
Make/build cut-off
CI #1358: Pull request #4477 synchronize by wclr
July 7, 2023 13:44 44m 33s wclr:make-cutoff
July 7, 2023 13:44 44m 33s
Make/build cut-off
CI #1357: Pull request #4477 synchronize by wclr
July 6, 2023 06:59 38m 48s wclr:make-cutoff
July 6, 2023 06:59 38m 48s
Make/build cut-off
CI #1356: Pull request #4477 synchronize by wclr
July 5, 2023 22:23 43m 22s wclr:make-cutoff
July 5, 2023 22:23 43m 22s
Make/build cut-off
CI #1355: Pull request #4477 synchronize by wclr
July 5, 2023 21:53 29m 44s wclr:make-cutoff
July 5, 2023 21:53 29m 44s
Add option to exclude globs from given input (#4480)
CI #1354: Commit a6f6dcc pushed by f-f
July 3, 2023 10:43 56m 19s master
July 3, 2023 10:43 56m 19s
Make/build cut-off
CI #1352: Pull request #4477 synchronize by wclr
June 18, 2023 17:08 11m 39s wclr:make-cutoff
June 18, 2023 17:08 11m 39s
Make/build cut-off
CI #1351: Pull request #4477 opened by wclr
June 11, 2023 17:58 1d 2h 3m 37s wclr:make-cutoff
June 11, 2023 17:58 1d 2h 3m 37s
June 1, 2023 12:59 51m 59s
RE: Visible Type Applications (#4436)
CI #1348: Commit 0d33710 pushed by JordanMartinez
May 30, 2023 14:28 57m 16s master
May 30, 2023 14:28 57m 16s
Include type declaration SourceAnn for values
CI #1345: Pull request #4471 opened by purefunctor
April 30, 2023 14:12 37m 10s pure/type-value-decl
April 30, 2023 14:12 37m 10s
v0.15.9
CI #1344: Release v0.15.9 published by purefunctor
April 29, 2023 17:45 53m 33s
April 29, 2023 17:45 53m 33s
Prepare 0.15.9 release (#4470)
CI #1343: Commit b1825f9 pushed by purefunctor
April 29, 2023 17:02 40m 45s master
April 29, 2023 17:02 40m 45s