Skip to content

Actions: compiling-to-categories/concat

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
46 workflow runs
46 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
Various fixes for coercions concat #64: Commit 7aa7d5e pushed by mikesperber
February 28, 2024 10:59 10m 37s master
master
February 28, 2024 10:59 10m 37s
Various fixes for coercions Deploy generated docs to Pages #7: Commit 7aa7d5e pushed by mikesperber
February 28, 2024 10:59 4m 52s master
master
February 28, 2024 10:59 4m 52s
Various fixes for coercions concat #63: Pull request #118 synchronize by mikesperber
February 28, 2024 10:58 11m 14s coercion-fixes
coercion-fixes
February 28, 2024 10:58 11m 14s
Fix unconditional logging of simplifier statistics Deploy generated docs to Pages #6: Commit 9c50e59 pushed by mikesperber
February 27, 2024 08:41 4m 48s master
master
February 27, 2024 08:41 4m 48s
Fix unconditional logging of simplifier statistics concat #62: Commit 9c50e59 pushed by mikesperber
February 27, 2024 08:41 10m 8s master
master
February 27, 2024 08:41 10m 8s
Fix unconditional logging of simplifier statistics concat #61: Pull request #119 opened by sowilo
February 26, 2024 15:38 10m 29s active-group:respect-simplifier-flags
active-group:respect-simplifier-flags
February 26, 2024 15:38 10m 29s
Various fixes for coercions concat #60: Pull request #118 opened by mikesperber
February 22, 2024 09:30 10m 31s coercion-fixes
coercion-fixes
February 22, 2024 09:30 10m 31s
Revert "Various fixes for coercions" concat #59: Commit 4bc7058 pushed by mikesperber
February 22, 2024 09:26 9m 45s master
master
February 22, 2024 09:26 9m 45s
Revert "Various fixes for coercions" Deploy generated docs to Pages #5: Commit 4bc7058 pushed by mikesperber
February 22, 2024 09:26 6m 54s master
master
February 22, 2024 09:26 6m 54s
Various fixes for coercions Deploy generated docs to Pages #4: Commit 8276dea pushed by mikesperber
February 22, 2024 09:23 4m 32s master
master
February 22, 2024 09:23 4m 32s
Various fixes for coercions concat #58: Commit 8276dea pushed by mikesperber
February 22, 2024 09:23 10m 9s master
master
February 22, 2024 09:23 10m 9s
Merge pull request #117 from con-kitty/fix-haddock-deploy Deploy generated docs to Pages #3: Commit 15b2a55 pushed by sellout
January 29, 2024 14:29 4m 44s master
master
January 29, 2024 14:29 4m 44s
Merge pull request #117 from con-kitty/fix-haddock-deploy concat #57: Commit 15b2a55 pushed by sellout
January 29, 2024 14:29 10m 34s master
master
January 29, 2024 14:29 10m 34s
Fix permissions on Haddock before deploying concat #56: Pull request #117 opened by sellout
January 28, 2024 16:42 9m 50s con-kitty:fix-haddock-deploy
con-kitty:fix-haddock-deploy
January 28, 2024 16:42 9m 50s
Deploy generated docs to Pages Deploy generated docs to Pages #2: Manually run by sellout
January 28, 2024 15:36 4m 24s master
master
January 28, 2024 15:36 4m 24s
Merge pull request #116 from con-kitty/add-haddock Deploy generated docs to Pages #1: Commit 248db06 pushed by sellout
January 28, 2024 15:35 16s master
master
January 28, 2024 15:35 16s
Merge pull request #116 from con-kitty/add-haddock concat #55: Commit 248db06 pushed by sellout
January 28, 2024 15:35 10m 23s master
master
January 28, 2024 15:35 10m 23s
Add (and fix) generated docs concat #54: Pull request #116 opened by sellout
January 27, 2024 22:26 10m 15s con-kitty:add-haddock
con-kitty:add-haddock
January 27, 2024 22:26 10m 15s
Propagate normalised types to error messages. concat #53: Commit 474d300 pushed by mikesperber
January 12, 2024 15:05 5m 24s master
master
January 12, 2024 15:05 5m 24s
Add missing gold-test output files. concat #52: Commit 69d9c01 pushed by mikesperber
January 12, 2024 14:56 4m 14s master
master
January 12, 2024 14:56 4m 14s
Include full GHC version also in runDer gold tests. concat #51: Commit 26c02d7 pushed by mikesperber
January 12, 2024 14:14 10m 15s master
master
January 12, 2024 14:14 10m 15s
Include full GHC version in gold-test path. concat #50: Commit 3379bc9 pushed by mikesperber
December 21, 2023 12:53 10m 26s master
master
December 21, 2023 12:53 10m 26s
Include full GHC version in gold-test path. concat #49: Pull request #115 opened by mikesperber
December 21, 2023 12:41 10m 16s active-group:respect-ghc-minor-version-for-gold-tests
active-group:respect-ghc-minor-version-for-gold-tests
December 21, 2023 12:41 10m 16s
Merge pull request #114 from con-kitty/fixing-9.2.1 concat #48: Commit d95c79d pushed by sellout
December 14, 2023 18:23 10m 32s master
master
December 14, 2023 18:23 10m 32s
Fix concat-satisfy on GHC 9.2.1 concat #47: Pull request #114 synchronize by sellout
December 14, 2023 08:08 9m 34s con-kitty:fixing-9.2.1
con-kitty:fixing-9.2.1
December 14, 2023 08:08 9m 34s