Skip to content

Actions: phile314/pinch-gen

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
12 workflow runs
12 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Bump version number
build #67: Commit 76e728e pushed by phile314
July 17, 2024 20:39 21m 9s master
July 17, 2024 20:39 21m 9s
Merge pull request #14 from 414owen/os/pretty-records
build #66: Commit f984c5c pushed by phile314
July 17, 2024 20:20 31m 38s master
July 17, 2024 20:20 31m 38s
Merge pull request #12 from endrikon/master
build #65: Commit b12ae79 pushed by phile314
July 17, 2024 20:20 21m 3s master
July 17, 2024 20:20 21m 3s
July 17, 2024 20:16 17m 31s
Relax base upper limit
build #60: Commit 5629db5 pushed by phile314
January 8, 2024 17:26 4m 49s master
January 8, 2024 17:26 4m 49s
Bump version number
build #59: Commit 160e30a pushed by phile314
January 6, 2024 18:26 5m 6s master
January 6, 2024 18:26 5m 6s
Run tests in github workflow
build #58: Commit d0b6911 pushed by phile314
January 6, 2024 18:24 8m 40s master
January 6, 2024 18:24 8m 40s
Run tests in github workflow
build #57: Commit 87e8a7a pushed by phile314
January 6, 2024 18:11 8m 19s test
January 6, 2024 18:11 8m 19s
alex/update ghc
build #56: Pull request #11 synchronize by alexbiehl
July 11, 2023 17:51 8m 31s alexbiehl:alex/update-ghc
July 11, 2023 17:51 8m 31s
alex/update ghc
build #55: Pull request #11 synchronize by alexbiehl
July 11, 2023 17:41 9m 27s alexbiehl:alex/update-ghc
July 11, 2023 17:41 9m 27s
alex/update ghc
build #54: Pull request #11 opened by alexbiehl
July 11, 2023 17:39 3m 12s alexbiehl:alex/update-ghc
July 11, 2023 17:39 3m 12s
Allow building with newer GHCs
build #53: Pull request #10 opened by alexbiehl
July 11, 2023 17:32 3m 56s alexbiehl:patch-1
July 11, 2023 17:32 3m 56s