Skip to content

Actions: clash-lang/clash-compiler

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,840 workflow runs
1,840 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add more constraints on RankNTypes function args Kloonbot #3404: Issue comment #1480 (comment) created by leonschoorl
October 23, 2024 15:31 2s
October 23, 2024 15:31 2s
Adding a constraint to Clash.Sized.Vector.dfold Kloonbot #3403: Issue comment #1054 (comment) created by leonschoorl
October 23, 2024 15:26 2s
October 23, 2024 15:26 2s
vecToTuple not needed anymore Kloonbot #3402: Issue comment #2830 (comment) edited by DigitalBrains1
October 21, 2024 15:02 3s
October 21, 2024 15:02 3s
vecToTuple not needed anymore Kloonbot #3401: Issue comment #2830 (comment) created by DigitalBrains1
October 21, 2024 15:00 4s
October 21, 2024 15:00 4s
vecToTuple not needed anymore Kloonbot #3400: Issue comment #2830 (comment) created by leonschoorl
October 21, 2024 14:47 4s
October 21, 2024 14:47 4s
vecToTuple not needed anymore Kloonbot #3399: Issue comment #2830 (comment) edited by DigitalBrains1
October 21, 2024 13:06 3s
October 21, 2024 13:06 3s
vecToTuple not needed anymore Kloonbot #3398: Issue comment #2830 (comment) created by DigitalBrains1
October 21, 2024 12:52 2s
October 21, 2024 12:52 2s
Update flake.nix to make GHC 9.6.6 and GHC 9.8.2 available Kloonbot #3397: Issue comment #2810 (comment) created by diegodiv
October 15, 2024 08:50 11s
October 15, 2024 08:50 11s
Update flake.nix to make GHC 9.6.6 and GHC 9.8.2 available CI #3262: Pull request #2810 synchronize by diegodiv
October 15, 2024 08:30 1h 47m 19s dd/nix-update
dd/nix-update
October 15, 2024 08:30 1h 47m 19s
SaturatingNum Bit Kloonbot #3396: Issue comment #2827 (comment) edited by DigitalBrains1
October 13, 2024 20:09 2s
October 13, 2024 20:09 2s
Spine-lazy vector functions Kloonbot #3395: Issue comment #2808 (comment) edited by DigitalBrains1
October 13, 2024 08:21 2s
October 13, 2024 08:21 2s
Spine-lazy vector functions Kloonbot #3394: Issue comment #2808 (comment) created by DigitalBrains1
October 13, 2024 08:21 2s
October 13, 2024 08:21 2s
Add Distributive and Representable instances to Vec n CI #3261: Pull request #2829 opened by gergoerdi
October 12, 2024 12:24 1h 46m 6s gergoerdi:distributive-vec
gergoerdi:distributive-vec
October 12, 2024 12:24 1h 46m 6s
Spine-lazy vector functions Kloonbot #3393: Issue comment #2808 (comment) created by gergoerdi
October 12, 2024 12:19 3s
October 12, 2024 12:19 3s
SaturatingNum Bit Kloonbot #3392: Issue comment #2827 (comment) edited by DigitalBrains1
October 12, 2024 09:36 2s
October 12, 2024 09:36 2s
SaturatingNum Bit Kloonbot #3391: Issue comment #2827 (comment) created by DigitalBrains1
October 12, 2024 09:15 3s
October 12, 2024 09:15 3s
Implement ensureSpine for BitVector n as pack (copy #2702) CI #3260: Pull request #2828 opened by mergify bot
October 11, 2024 14:19 1h 54m 58s mergify/copy/1.8/pr-2702
mergify/copy/1.8/pr-2702
October 11, 2024 14:19 1h 54m 58s
SaturatingNum Bit Kloonbot #3390: Issue comment #2827 (comment) edited by DigitalBrains1
October 11, 2024 12:59 2s
October 11, 2024 12:59 2s
SaturatingNum Bit Kloonbot #3389: Issue comment #2827 (comment) edited by DigitalBrains1
October 11, 2024 12:46 2s
October 11, 2024 12:46 2s
SaturatingNum Bit Kloonbot #3388: Issue comment #2827 (comment) edited by DigitalBrains1
October 11, 2024 12:14 2s
October 11, 2024 12:14 2s
SaturatingNum Bit Kloonbot #3387: Issue comment #2827 (comment) created by DigitalBrains1
October 11, 2024 12:07 2s
October 11, 2024 12:07 2s
SaturatingNum Bit Kloonbot #3386: Issue comment #2827 (comment) created by DigitalBrains1
October 11, 2024 12:00 2s
October 11, 2024 12:00 2s
Add boundary proofs to dfold and smap CI #3259: Pull request #2686 synchronize by kleinreact
October 11, 2024 11:16 1h 48m 0s smap-with-bounds
smap-with-bounds
October 11, 2024 11:16 1h 48m 0s
SaturatingNum Bit Kloonbot #3385: Issue comment #2827 (comment) created by gergoerdi
October 11, 2024 10:50 2s
October 11, 2024 10:50 2s
SaturatingNum Bit Kloonbot #3384: Issue comment #2827 (comment) edited by gergoerdi
October 11, 2024 10:19 2s
October 11, 2024 10:19 2s