Skip to content

Actions: purenix-org/purenix

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
8 workflow runs
8 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #64 from luochen1990/patch-1
CI #178: Commit 83f82ad pushed by cdepillabout
August 26, 2024 08:49 13m 23s main
August 26, 2024 08:49 13m 23s
Mtl 2.3 fixes
CI #176: Pull request #63 opened by Profpatsch
July 21, 2024 14:10 29m 35s Profpatsch:mtl-2.3-fixes
July 21, 2024 14:10 29m 35s
Limit purescrip to <0.15.12
CI #175: Pull request #62 opened by jonascarpay
December 27, 2023 07:37 13m 5s ps-0.15.11-upper-bound
December 27, 2023 07:37 13m 5s
Limit purescrip to <0.15.12
CI #174: Commit 5de87d9 pushed by jonascarpay
December 27, 2023 07:37 12m 50s ps-0.15.11-upper-bound
December 27, 2023 07:37 12m 50s
Purescript 0.15.12
CI #173: Pull request #61 opened by jonascarpay
December 27, 2023 07:14 25m 27s purescript-0.15.12
December 27, 2023 07:14 25m 27s
chore: adjust to purescript 0.15.12 corefn changes
CI #172: Commit 50ccdbe pushed by jonascarpay
December 27, 2023 07:12 19m 40s purescript-0.15.12
December 27, 2023 07:12 19m 40s
Update quick-start.md
CI #171: Commit 29eccdf pushed by jonascarpay
December 27, 2023 07:11 12m 57s purescript-0.15.12
December 27, 2023 07:11 12m 57s
Update quick-start.md
CI #170: Commit 29eccdf pushed by jonascarpay
December 27, 2023 06:52 12m 43s main
December 27, 2023 06:52 12m 43s