Skip to content

Actions: obsidiansystems/dependent-sum-template

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
14 workflow runs
14 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #13 from sorki/srk/th-222 github-action #47: Commit 06bb673 pushed by ali-abrar
November 10, 2024 21:11 1h 0m 35s develop
develop
November 10, 2024 21:11 1h 0m 35s
Allow template-haskell 2.22 github-action #46: Pull request #13 synchronize by alexfmpe
November 10, 2024 19:54 33m 29s sorki:srk/th-222
sorki:srk/th-222
November 10, 2024 19:54 33m 29s
Merge pull request #11 from Vekhir/patch-1 github-action #44: Commit 846df38 pushed by ali-abrar
February 5, 2024 22:07 19m 49s develop
develop
February 5, 2024 22:07 19m 49s
Support template-haskell 2.21 github-action #43: Pull request #11 opened by Vekhir
January 31, 2024 20:03 12m 19s Vekhir:patch-1
Vekhir:patch-1
January 31, 2024 20:03 12m 19s
Bump version number and add change log entry for new release github-action #42: Commit d0e89d8 pushed by Ericson2314
December 6, 2023 15:47 30m 49s v0.2.0.1
v0.2.0.1
December 6, 2023 15:47 30m 49s
Bump version number and add change log entry for new release github-action #41: Commit d0e89d8 pushed by Ericson2314
December 6, 2023 15:47 22m 11s master
master
December 6, 2023 15:47 22m 11s
Bump version number and add change log entry for new release github-action #40: Commit d0e89d8 pushed by Ericson2314
December 6, 2023 15:47 13m 10s develop
develop
December 6, 2023 15:47 13m 10s
Merge pull request #6 from obsidiansystems/aa/th-218 github-action #39: Commit c6b916a pushed by Ericson2314
December 6, 2023 15:36 16m 59s v0.2.0.0
v0.2.0.0
December 6, 2023 15:36 16m 59s
Merge pull request #6 from obsidiansystems/aa/th-218 github-action #38: Commit c6b916a pushed by Ericson2314
December 6, 2023 15:36 12m 26s master
master
December 6, 2023 15:36 12m 26s
Merge pull request #7 from ncfavier/fix-skolem-trick github-action #37: Commit 6c42332 pushed by Ericson2314
December 6, 2023 15:25 13m 47s develop
develop
December 6, 2023 15:25 13m 47s
Fix the Skolem trick with GHC ≥ 9.4 github-action #36: Pull request #7 synchronize by ncfavier
November 21, 2023 10:32 15m 20s ncfavier:fix-skolem-trick
ncfavier:fix-skolem-trick
November 21, 2023 10:32 15m 20s
Fix the Skolem trick with GHC ≥ 9.4 github-action #35: Pull request #7 synchronize by ncfavier
November 20, 2023 21:33 2m 7s ncfavier:fix-skolem-trick
ncfavier:fix-skolem-trick
November 20, 2023 21:33 2m 7s
Fix the Skolem trick with GHC ≥ 9.4 github-action #34: Pull request #7 synchronize by ncfavier
November 20, 2023 20:47 2m 1s ncfavier:fix-skolem-trick
ncfavier:fix-skolem-trick
November 20, 2023 20:47 2m 1s
Merge branch 'develop' into ghc-9.4 github-action #33: Commit 107a0f3 pushed by Ericson2314
November 20, 2023 20:44 2m 16s ghc-9.4
ghc-9.4
November 20, 2023 20:44 2m 16s