Skip to content

Actions: clash-lang/clash-compiler

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
1,014 workflow runs
1,014 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update flake.nix to make GHC 9.6.6 and GHC 9.8.2 available CI #3237: Pull request #2810 synchronize by diegodiv
September 25, 2024 14:06 1h 48m 48s dd/nix-update
dd/nix-update
September 25, 2024 14:06 1h 48m 48s
Add Counter a => Counter (Vec n a) instance (#2788) CI #3236: Commit 3b755b9 pushed by DigitalBrains1
September 24, 2024 18:00 36m 53s master
master
September 24, 2024 18:00 36m 53s
Update flake.nix to make GHC 9.6.6 and GHC 9.8.2 available CI #3235: Pull request #2810 synchronize by diegodiv
September 24, 2024 15:05 1h 46m 50s dd/nix-update
dd/nix-update
September 24, 2024 15:05 1h 46m 50s
Update flake.nix to make GHC 9.6.6 and GHC 9.8.2 available CI #3234: Pull request #2810 opened by diegodiv
September 24, 2024 09:46 1h 57m 29s dd/nix-update
dd/nix-update
September 24, 2024 09:46 1h 57m 29s
GitLab CI: Use Stackage Docker image CI #3233: Pull request #2805 synchronize by DigitalBrains1
September 5, 2024 15:52 1h 49m 57s ci-add-wget
ci-add-wget
September 5, 2024 15:52 1h 49m 57s
GitLab CI: Use Stackage Docker image CI #3232: Pull request #2805 synchronize by DigitalBrains1
September 5, 2024 13:35 1h 49m 20s ci-add-wget
ci-add-wget
September 5, 2024 13:35 1h 49m 20s
GitLab CI: Use Stackage Docker image CI #3231: Pull request #2805 synchronize by DigitalBrains1
September 5, 2024 13:22 13m 51s ci-add-wget
ci-add-wget
September 5, 2024 13:22 13m 51s
GitLab CI: Use Stackage Docker image CI #3230: Pull request #2805 synchronize by DigitalBrains1
September 5, 2024 13:20 2m 33s ci-add-wget
ci-add-wget
September 5, 2024 13:20 2m 33s
GitLab CI: Use Stackage Docker image CI #3229: Pull request #2805 opened by DigitalBrains1
September 4, 2024 15:21 1h 46m 20s ci-add-wget
ci-add-wget
September 4, 2024 15:21 1h 46m 20s
Add BitPack instance for Index 0 CI #3228: Pull request #2784 synchronize by kleinreact
September 1, 2024 19:34 7m 50s add-bitpack-for-index-zero
add-bitpack-for-index-zero
September 1, 2024 19:34 7m 50s
Add boundary proofs to dfold and smap CI #3227: Pull request #2686 synchronize by kleinreact
September 1, 2024 08:36 1h 46m 29s smap-with-bounds
smap-with-bounds
September 1, 2024 08:36 1h 46m 29s
Generalize delayedFold to arbitrary vectors CI #3226: Pull request #2804 synchronize by t-wallet
August 29, 2024 13:54 27m 19s generalized-pipelined-fold
generalized-pipelined-fold
August 29, 2024 13:54 27m 19s
Generalize delayedFold to arbitrary vectors CI #3225: Pull request #2804 opened by t-wallet
August 29, 2024 13:21 31m 27s generalized-pipelined-fold
generalized-pipelined-fold
August 29, 2024 13:21 31m 27s
Refactor DEC transformation (copy #2668) CI #3224: Pull request #2803 opened by mergify bot
August 28, 2024 15:07 2h 35m 11s mergify/copy/1.8/pr-2668
mergify/copy/1.8/pr-2668
August 28, 2024 15:07 2h 35m 11s
Refactor DEC transformation (#2668) CI #3223: Commit 5927123 pushed by christiaanb
August 28, 2024 15:06 15m 55s master
master
August 28, 2024 15:06 15m 55s
Add Counter a => Counter (Vec n a) instance #2787 CI #3222: Pull request #2788 synchronize by gergoerdi
August 28, 2024 13:44 1h 46m 25s gergoerdi:issue-2787
gergoerdi:issue-2787
August 28, 2024 13:44 1h 46m 25s
Refactor DEC transformation CI #3221: Pull request #2668 synchronize by christiaanb
August 28, 2024 13:19 1h 47m 32s fix2628
fix2628
August 28, 2024 13:19 1h 47m 32s
Enable building Clash against GHC 9.10 (copy #2758) CI #3220: Pull request #2790 synchronize by christiaanb
August 28, 2024 13:03 1h 25m 56s mergify/copy/1.8/pr-2758
mergify/copy/1.8/pr-2758
August 28, 2024 13:03 1h 25m 56s
Add SGMII support to clash-cores CI #3219: Pull request #2727 synchronize by jvnknvlgl
August 27, 2024 11:58 1h 46m 37s jvnknvlgl/clash-cores/sgmii
jvnknvlgl/clash-cores/sgmii
August 27, 2024 11:58 1h 46m 37s
Add Counter a => Counter (Vec n a) instance #2787 CI #3218: Pull request #2788 synchronize by gergoerdi
August 27, 2024 11:37 1h 46m 30s gergoerdi:issue-2787
gergoerdi:issue-2787
August 27, 2024 11:37 1h 46m 30s
Add Counter a => Counter (Vec n a) instance #2787 CI #3217: Pull request #2788 synchronize by gergoerdi
August 27, 2024 11:37 34s gergoerdi:issue-2787
gergoerdi:issue-2787
August 27, 2024 11:37 34s
Fix eta-expansion in evaluator (copy #2782) CI #3216: Pull request #2800 opened by mergify bot
August 27, 2024 09:20 2h 14m 9s mergify/copy/1.8/pr-2782
mergify/copy/1.8/pr-2782
August 27, 2024 09:20 2h 14m 9s
Fix eta-expansion in evaluator (#2782) CI #3215: Commit f946617 pushed by christiaanb
August 27, 2024 09:20 17m 26s master
master
August 27, 2024 09:20 17m 26s
Add SGMII support to clash-cores CI #3214: Pull request #2727 synchronize by jvnknvlgl
August 26, 2024 14:30 1h 46m 8s jvnknvlgl/clash-cores/sgmii
jvnknvlgl/clash-cores/sgmii
August 26, 2024 14:30 1h 46m 8s
Add SGMII support to clash-cores CI #3213: Pull request #2727 synchronize by jvnknvlgl
August 26, 2024 14:26 4m 5s jvnknvlgl/clash-cores/sgmii
jvnknvlgl/clash-cores/sgmii
August 26, 2024 14:26 4m 5s