Skip to content

Actions: konn/equational-reasoning-in-haskell

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
34 workflow runs
34 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #14 from konn/konn/release-ci Release #1: Commit 460d617 pushed by konn
January 2, 2025 05:23 3m 16s v0.7.1.0
v0.7.1.0
January 2, 2025 05:23 3m 16s
Merge pull request #14 from konn/konn/release-ci Build #66: Commit 460d617 pushed by konn
January 2, 2025 05:21 4m 14s master
master
January 2, 2025 05:21 4m 14s
Prepare release of 0.7.1.0 Build #65: Pull request #14 opened by konn
January 2, 2025 05:17 4m 8s konn/release-ci
konn/release-ci
January 2, 2025 05:17 4m 8s
Merge pull request #13 from konn/konn/stackage-new-2025-01-01 Build #64: Commit 3f22ba5 pushed by konn
January 2, 2025 05:09 8m 30s master
master
January 2, 2025 05:09 8m 30s
th-desugar 1.18 support Build #63: Pull request #13 synchronize by konn
January 2, 2025 05:00 8m 3s konn/stackage-new-2025-01-01
konn/stackage-new-2025-01-01
January 2, 2025 05:00 8m 3s
th-desugar 1.18 support Build #62: Pull request #13 synchronize by konn
January 2, 2025 04:55 8m 31s konn/stackage-new-2025-01-01
konn/stackage-new-2025-01-01
January 2, 2025 04:55 8m 31s
th-desugar 1.18 support Build #61: Pull request #13 synchronize by konn
January 2, 2025 04:50 3m 45s konn/stackage-new-2025-01-01
konn/stackage-new-2025-01-01
January 2, 2025 04:50 3m 45s
th-desugar 1.18 support Build #60: Pull request #13 synchronize by konn
January 2, 2025 04:45 5m 45s konn/stackage-new-2025-01-01
konn/stackage-new-2025-01-01
January 2, 2025 04:45 5m 45s
th-desugar 1.18 support Build #59: Pull request #13 synchronize by konn
January 2, 2025 04:43 5m 40s konn/stackage-new-2025-01-01
konn/stackage-new-2025-01-01
January 2, 2025 04:43 5m 40s
th-desugar 1.18 support Build #58: Pull request #13 opened by konn
January 2, 2025 04:37 3m 37s konn/stackage-new-2025-01-01
konn/stackage-new-2025-01-01
January 2, 2025 04:37 3m 37s
Merge pull request #12 from konn/ghc-9.10-followup Build #57: Commit 5b4f46f pushed by konn
May 17, 2024 12:11 3m 19s master
master
May 17, 2024 12:11 3m 19s
GHC 9.10 Followup Build #56: Pull request #12 opened by konn
May 17, 2024 12:08 3m 25s ghc-9.10-followup
ghc-9.10-followup
May 17, 2024 12:08 3m 25s
Merge pull request #11 from konn/konn/ghc-9.10 Build #55: Commit 87404a7 pushed by konn
May 17, 2024 11:56 3m 33s master
master
May 17, 2024 11:56 3m 33s
Adds GHC 9.10 Build #54: Pull request #11 synchronize by konn
May 17, 2024 11:53 3m 12s konn/ghc-9.10
konn/ghc-9.10
May 17, 2024 11:53 3m 12s
Adds GHC 9.10 Build #53: Pull request #11 synchronize by konn
May 17, 2024 11:52 2m 58s konn/ghc-9.10
konn/ghc-9.10
May 17, 2024 11:52 2m 58s
Adds GHC 9.10 Build #52: Pull request #11 synchronize by konn
May 17, 2024 11:51 2m 57s konn/ghc-9.10
konn/ghc-9.10
May 17, 2024 11:51 2m 57s
Adds GHC 9.10 Build #51: Pull request #11 synchronize by konn
May 17, 2024 11:50 3m 4s konn/ghc-9.10
konn/ghc-9.10
May 17, 2024 11:50 3m 4s
Adds GHC 9.10 Build #50: Pull request #11 synchronize by konn
May 17, 2024 11:49 2m 33s konn/ghc-9.10
konn/ghc-9.10
May 17, 2024 11:49 2m 33s
Adds GHC 9.10 Build #49: Pull request #11 synchronize by konn
May 17, 2024 11:47 3m 38s konn/ghc-9.10
konn/ghc-9.10
May 17, 2024 11:47 3m 38s
Adds GHC 9.10 Build #48: Pull request #11 synchronize by konn
May 17, 2024 11:43 2m 40s konn/ghc-9.10
konn/ghc-9.10
May 17, 2024 11:43 2m 40s
Adds GHC 9.10 Build #47: Pull request #11 synchronize by konn
May 17, 2024 11:43 2m 47s konn/ghc-9.10
konn/ghc-9.10
May 17, 2024 11:43 2m 47s
Adds GHC 9.10 Build #46: Pull request #11 synchronize by konn
May 17, 2024 11:42 3m 0s konn/ghc-9.10
konn/ghc-9.10
May 17, 2024 11:42 3m 0s
Adds GHC 9.10 Build #45: Pull request #11 synchronize by konn
May 17, 2024 11:38 2m 40s konn/ghc-9.10
konn/ghc-9.10
May 17, 2024 11:38 2m 40s
Adds GHC 9.10 Build #44: Pull request #11 synchronize by konn
May 17, 2024 11:36 2m 49s konn/ghc-9.10
konn/ghc-9.10
May 17, 2024 11:36 2m 49s
Adds GHC 9.10 Build #43: Pull request #11 opened by konn
May 17, 2024 11:30 3m 10s konn/ghc-9.10
konn/ghc-9.10
May 17, 2024 11:30 3m 10s