Skip to content

Actions: phadej/vec

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
19 workflow runs
19 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #114 from phadej/explict-ss
Haskell-CI #119: Commit ecfb567 pushed by phadej
November 9, 2024 11:59 16m 13s master
November 9, 2024 11:59 16m 13s
Add SS' :: SNat n -> SNat (S n)
Haskell-CI #118: Pull request #114 synchronize by phadej
November 9, 2024 11:50 5m 59s explict-ss
November 9, 2024 11:50 5m 59s
Add SS' :: SNat n -> SNat (S n)
Haskell-CI #117: Pull request #114 opened by phadej
November 9, 2024 11:37 15m 15s explict-ss
November 9, 2024 11:37 15m 15s
Merge pull request #113 from phadej/hashable-1.5
Haskell-CI #116: Commit 4cfb8b1 pushed by phadej
August 24, 2024 21:12 15m 13s master
August 24, 2024 21:12 15m 13s
Allow hashable-1.5
Haskell-CI #115: Pull request #113 opened by phadej
August 24, 2024 20:46 15m 6s hashable-1.5
August 24, 2024 20:46 15m 6s
Merge pull request #112 from phadej/noble
Haskell-CI #114: Commit 1e4a45f pushed by phadej
June 8, 2024 14:34 4m 33s master
June 8, 2024 14:34 4m 33s
Noble
Haskell-CI #113: Pull request #112 synchronize by phadej
June 8, 2024 14:09 14m 23s noble
June 8, 2024 14:09 14m 23s
Noble
Haskell-CI #112: Pull request #112 synchronize by phadej
June 8, 2024 13:56 17m 4s noble
June 8, 2024 13:56 17m 4s
Noble
Haskell-CI #111: Pull request #112 synchronize by phadej
May 23, 2024 15:55 5m 18s noble
May 23, 2024 15:55 5m 18s
Noble
Haskell-CI #110: Pull request #112 synchronize by phadej
May 23, 2024 12:51 7m 41s noble
May 23, 2024 12:51 7m 41s
Noble
Haskell-CI #109: Pull request #112 synchronize by phadej
May 22, 2024 13:30 5m 11s noble
May 22, 2024 13:30 5m 11s
Noble
Haskell-CI #108: Pull request #112 synchronize by phadej
May 22, 2024 13:26 5m 10s noble
May 22, 2024 13:26 5m 10s
Noble
Haskell-CI #107: Pull request #112 synchronize by phadej
May 22, 2024 13:20 5m 25s noble
May 22, 2024 13:20 5m 25s
Noble
Haskell-CI #106: Pull request #112 synchronize by phadej
May 22, 2024 13:19 5m 14s noble
May 22, 2024 13:19 5m 14s
Noble
Haskell-CI #105: Pull request #112 synchronize by phadej
May 22, 2024 12:31 15m 0s noble
May 22, 2024 12:31 15m 0s
Noble
Haskell-CI #104: Pull request #112 opened by phadej
May 22, 2024 12:20 14m 29s noble
May 22, 2024 12:20 14m 29s
Merge pull request #109 from phadej/ghc-9.8
Haskell-CI #102: Commit 4367d77 pushed by phadej
October 24, 2023 21:01 23m 24s master
October 24, 2023 21:01 23m 24s
Support GHC-9.8
Haskell-CI #101: Pull request #109 synchronize by phadej
October 24, 2023 20:23 34m 31s ghc-9.8
October 24, 2023 20:23 34m 31s
Support GHC-9.8
Haskell-CI #100: Pull request #109 opened by phadej
October 24, 2023 20:21 26m 11s ghc-9.8
October 24, 2023 20:21 26m 11s