Skip to content

Actions: sergv/prettyprinter-combinators

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
15 workflow runs
15 workflow runs

Filter by Event

Loading

Filter by Status

Loading

Filter by Branch

Loading

Filter by Actor

Loading
Add comment Build #15: Commit 879308c pushed by sergv
June 26, 2024 12:45 21m 35s master
master
June 26, 2024 12:45 21m 35s
Bump version Build #14: Commit 8a8a31c pushed by sergv
May 12, 2024 15:10 2m 50s master
master
May 12, 2024 15:10 2m 50s
Make enummapset dependency disableable by the user Build #13: Commit a40ff63 pushed by sergv
May 12, 2024 14:52 10m 23s master
master
May 12, 2024 14:52 10m 23s
Test GHC 9.10 on CI Build #12: Commit 19dfb94 pushed by sergv
May 12, 2024 11:52 10m 57s test
test
May 12, 2024 11:52 10m 57s
Test GHC 9.10 on CI Build #11: Commit e7cf0ba pushed by sergv
May 12, 2024 11:49 5m 22s test
test
May 12, 2024 11:49 5m 22s
Update CI Build #10: Commit 9fecfc0 pushed by sergv
November 5, 2023 11:52 3m 23s v0.1.2
v0.1.2
November 5, 2023 11:52 3m 23s
Update CI Build #9: Commit 9fecfc0 pushed by sergv
November 5, 2023 11:43 3m 56s master
master
November 5, 2023 11:43 3m 56s
Bump version Build #8: Commit 123d8de pushed by sergv
November 5, 2023 01:57 5m 17s master
master
November 5, 2023 01:57 5m 17s
Bump version Build #7: Commit 45453ab pushed by sergv
November 3, 2023 22:39 14m 14s master
master
November 3, 2023 22:39 14m 14s
Improve CI to unpack into fresh directory Build #6: Commit c18935a pushed by sergv
July 8, 2023 11:01 14m 56s master
master
July 8, 2023 11:01 14m 56s
Better formatting Build #5: Commit d95f0a7 pushed by sergv
May 21, 2023 20:26 4m 56s master
master
May 21, 2023 20:26 4m 56s
Add PPShow Build #4: Commit bf22491 pushed by sergv
May 20, 2023 23:37 6m 17s master
master
May 20, 2023 23:37 6m 17s
Add build status to readme Build #3: Commit 9fe57f2 pushed by sergv
May 19, 2023 23:56 3m 47s master
master
May 19, 2023 23:56 3m 47s
Add CI Build #2: Commit 246d058 pushed by sergv
May 19, 2023 00:31 12m 18s master
master
May 19, 2023 00:31 12m 18s
Add CI Build #1: Commit 246d058 pushed by sergv
May 19, 2023 00:31 11m 14s master
master
May 19, 2023 00:31 11m 14s