Skip to content

Actions: purescript/purescript

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
240 workflow runs
240 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
Local type synonyms CI #1521: Pull request #3897 synchronize by rhendric
April 16, 2024 19:29 33m 57s rhendric:local-type-synonyms-native
rhendric:local-type-synonyms-native
April 16, 2024 19:29 33m 57s
Remove Git upgrade step from CI (#4541) CI #1520: Commit 2070d47 pushed by rhendric
April 16, 2024 19:25 33m 48s master
master
April 16, 2024 19:25 33m 48s
Remove Git upgrade step from CI CI #1519: Pull request #4541 synchronize by rhendric
April 16, 2024 05:47 32m 11s rhendric:rhendric/remove-git-upgrade-step
rhendric:rhendric/remove-git-upgrade-step
April 16, 2024 05:47 32m 11s
Remove Git upgrade step from CI CI #1518: Pull request #4541 synchronize by rhendric
April 16, 2024 05:46 33m 1s rhendric:rhendric/remove-git-upgrade-step
rhendric:rhendric/remove-git-upgrade-step
April 16, 2024 05:46 33m 1s
Remove Git upgrade step from CI CI #1517: Pull request #4541 opened by rhendric
April 16, 2024 05:44 33m 58s rhendric:rhendric/remove-git-upgrade-step
rhendric:rhendric/remove-git-upgrade-step
April 16, 2024 05:44 33m 58s
Upgrade to GHC 9.2.8 (#4537) CI #1516: Commit 851291e pushed by rhendric
April 16, 2024 04:47 50m 45s master
master
April 16, 2024 04:47 50m 45s
Local type synonyms CI #1515: Pull request #3897 synchronize by rhendric
April 16, 2024 03:25 52s rhendric:local-type-synonyms-native
rhendric:local-type-synonyms-native
April 16, 2024 03:25 52s
Use JS Symbol for sum ADTs CI #1514: Pull request #4540 opened by shybovycha
March 19, 2024 12:58 43m 29s shybovycha:feature/use-symbols-for-sum-types
shybovycha:feature/use-symbols-for-sum-types
March 19, 2024 12:58 43m 29s
Upgrade to GHC 9.2.8 CI #1513: Pull request #4537 synchronize by purefunctor
February 27, 2024 06:00 13m 37s bump-stackage
bump-stackage
February 27, 2024 06:00 13m 37s
Upgrade to GHC 9.2.8 CI #1512: Pull request #4537 synchronize by purefunctor
February 27, 2024 05:56 42m 59s bump-stackage
bump-stackage
February 27, 2024 05:56 42m 59s
Upgrade to GHC 9.2.8 CI #1511: Pull request #4537 opened by purefunctor
February 27, 2024 05:50 47m 16s bump-stackage
bump-stackage
February 27, 2024 05:50 47m 16s
Fix compiler crash when a type operator is used in a type argument (#… CI #1510: Commit debfc2e pushed by rhendric
February 26, 2024 19:16 53m 7s master
master
February 26, 2024 19:16 53m 7s
Fix compiler crash when a type operator is used in a type argument CI #1509: Pull request #4536 opened by purefunctor
February 26, 2024 03:16 49m 23s fix-4535
fix-4535
February 26, 2024 03:16 49m 23s
Make/build cut-off CI #1508: Pull request #4477 synchronize by wclr
February 24, 2024 16:03 46m 44s wclr:make-cutoff
wclr:make-cutoff
February 24, 2024 16:03 46m 44s
Make forall keyword optional in instance declaration CI #1506: Pull request #4051 synchronize by jrairigh
February 15, 2024 14:22 5m 17s jrairigh:fix-1120
jrairigh:fix-1120
February 15, 2024 14:22 5m 17s
v0.15.15 CI #1504: Release v0.15.15 published by JordanMartinez
February 7, 2024 18:15 16m 34s
February 7, 2024 18:15 16m 34s
Prep 0.15.15 (#4533) CI #1503: Commit 5589e81 pushed by JordanMartinez
February 7, 2024 17:22 17m 21s master
master
February 7, 2024 17:22 17m 21s
Prep 0.15.15 CI #1502: Pull request #4533 opened by JordanMartinez
February 7, 2024 16:15 47m 9s prep-0.15.15
prep-0.15.15
February 7, 2024 16:15 47m 9s
Add support for --source-globs-file CLI arg in relevant purs comm… CI #1501: Commit 5dcd000 pushed by JordanMartinez
February 7, 2024 16:02 55m 22s master
master
February 7, 2024 16:02 55m 22s
Add support for --source-globs-file CLI arg in relevant purs commands CI #1500: Pull request #4530 synchronize by JordanMartinez
February 7, 2024 15:35 15m 43s jam/4525-globs-file
jam/4525-globs-file
February 7, 2024 15:35 15m 43s
Add support for --source-globs-file CLI arg in relevant purs commands CI #1499: Pull request #4530 synchronize by JordanMartinez
February 7, 2024 15:24 15m 33s jam/4525-globs-file
jam/4525-globs-file
February 7, 2024 15:24 15m 33s
Add support for --source-globs-file CLI arg in relevant purs commands CI #1498: Pull request #4530 synchronize by JordanMartinez
February 7, 2024 15:21 15m 23s jam/4525-globs-file
jam/4525-globs-file
February 7, 2024 15:21 15m 23s
Add support for --source-globs-file CLI arg in relevant purs commands CI #1497: Pull request #4530 synchronize by JordanMartinez
February 7, 2024 15:21 17m 17s jam/4525-globs-file
jam/4525-globs-file
February 7, 2024 15:21 17m 17s
Add support for --source-globs-file CLI arg in relevant purs commands CI #1496: Pull request #4530 synchronize by JordanMartinez
February 6, 2024 18:33 15m 28s jam/4525-globs-file
jam/4525-globs-file
February 6, 2024 18:33 15m 28s
Add support for --source-globs-file CLI arg in relevant purs commands CI #1495: Pull request #4530 synchronize by JordanMartinez
February 6, 2024 15:11 13m 5s jam/4525-globs-file
jam/4525-globs-file
February 6, 2024 15:11 13m 5s