Skip to content

Actions: clash-lang/clash-compiler

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
884 workflow runs
884 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Use sensible type arg order in clash-prelude-hedgehog CI #3410: Pull request #2880 opened by martijnbastiaan
February 5, 2025 15:52 1h 48m 17s sensible-type-arg-order
sensible-type-arg-order
February 5, 2025 15:52 1h 48m 17s
Elide unsafeCoerce from promoted nats CI #3409: Pull request #2843 synchronize by kleinreact
February 5, 2025 15:02 1h 47m 19s less-unsafecoerce-for-promoted-nats
less-unsafecoerce-for-promoted-nats
February 5, 2025 15:02 1h 47m 19s
Avoid warnings instead of hiding them (#2873) CI #3408: Commit fbd486e pushed by kleinreact
February 5, 2025 14:59 15m 47s master
master
February 5, 2025 14:59 15m 47s
Add Finite class CI #3407: Pull request #2858 synchronize by kleinreact
February 4, 2025 19:22 1h 48m 11s finite-class
finite-class
February 4, 2025 19:22 1h 48m 11s
Avoid warnings instead of hiding them CI #3406: Pull request #2873 synchronize by kleinreact
February 4, 2025 19:18 1h 47m 24s avoid-warnings
avoid-warnings
February 4, 2025 19:18 1h 47m 24s
Add Finite class CI #3405: Pull request #2858 synchronize by kleinreact
February 4, 2025 19:11 11m 29s finite-class
finite-class
February 4, 2025 19:11 11m 29s
Add DSL tutorial CI #3404: Pull request #2856 synchronize by yourcomrade
February 4, 2025 00:40 Action required yourcomrade:master
yourcomrade:master
February 4, 2025 00:40 Action required
Add DSL tutorial CI #3403: Pull request #2856 synchronize by yourcomrade
February 3, 2025 15:40 Action required yourcomrade:master
yourcomrade:master
February 3, 2025 15:40 Action required
Add hedgehog 1.5 support (#2879) CI #3402: Commit ba67c04 pushed by kleinreact
February 3, 2025 12:40 16m 55s master
master
February 3, 2025 12:40 16m 55s
Combinatorial => combinational (#2874) CI #3401: Commit 0376420 pushed by martijnbastiaan
February 3, 2025 11:30 24m 48s master
master
February 3, 2025 11:30 24m 48s
Add Finite class CI #3400: Pull request #2858 synchronize by kleinreact
February 2, 2025 19:18 1h 47m 7s finite-class
finite-class
February 2, 2025 19:18 1h 47m 7s
Add hedgehog 1.5 support CI #3399: Pull request #2879 opened by kleinreact
February 2, 2025 12:44 1h 43m 42s hedgehog15-support
hedgehog15-support
February 2, 2025 12:44 1h 43m 42s
Add boundary proofs to dfold and smap CI #3398: Pull request #2686 synchronize by kleinreact
February 1, 2025 05:17 1h 46m 12s smap-with-bounds
smap-with-bounds
February 1, 2025 05:17 1h 46m 12s
Add boundary proofs to dfold and smap CI #3397: Pull request #2686 synchronize by kleinreact
January 31, 2025 19:36 1h 48m 42s smap-with-bounds
smap-with-bounds
January 31, 2025 19:36 1h 48m 42s
Add boundary proofs to dfold and smap CI #3396: Pull request #2686 synchronize by kleinreact
January 31, 2025 16:38 1h 46m 8s smap-with-bounds
smap-with-bounds
January 31, 2025 16:38 1h 46m 8s
Avoid warnings instead of hiding them CI #3395: Pull request #2873 synchronize by kleinreact
January 29, 2025 18:28 1h 48m 43s avoid-warnings
avoid-warnings
January 29, 2025 18:28 1h 48m 43s
Avoid warnings instead of hiding them CI #3394: Pull request #2873 synchronize by kleinreact
January 29, 2025 17:25 1h 3m 16s avoid-warnings
avoid-warnings
January 29, 2025 17:25 1h 3m 16s
Avoid warnings instead of hiding them CI #3393: Pull request #2873 synchronize by kleinreact
January 29, 2025 17:24 41s avoid-warnings
avoid-warnings
January 29, 2025 17:24 41s
Fix DDR primitives CI #3392: Pull request #2833 synchronize by DigitalBrains1
January 23, 2025 16:00 1h 49m 25s fix-oddr
fix-oddr
January 23, 2025 16:00 1h 49m 25s
New: ddrForwardClock (#2876) CI #3391: Commit d9e2a53 pushed by DigitalBrains1
January 20, 2025 21:45 23m 27s master
master
January 20, 2025 21:45 23m 27s
New: ddrForwardClock CI #3390: Pull request #2876 synchronize by DigitalBrains1
January 20, 2025 11:23 1h 46m 56s ddrclock
ddrclock
January 20, 2025 11:23 1h 46m 56s
New: ddrForwardClock CI #3389: Pull request #2876 synchronize by DigitalBrains1
January 16, 2025 16:55 1h 48m 58s ddrclock
ddrclock
January 16, 2025 16:55 1h 48m 58s
New: ddrForwardClock CI #3388: Pull request #2876 synchronize by DigitalBrains1
January 16, 2025 16:44 11m 48s ddrclock
ddrclock
January 16, 2025 16:44 11m 48s
New: ddrForwardClock CI #3387: Pull request #2876 opened by DigitalBrains1
January 16, 2025 14:26 1h 46m 17s ddrclock
ddrclock
January 16, 2025 14:26 1h 46m 17s
ci(mergify): upgrade configuration to current format CI #3386: Pull request #2848 synchronize by mergify bot
January 16, 2025 11:09 1h 46m 57s mergify/configuration-deprecated-update
mergify/configuration-deprecated-update
January 16, 2025 11:09 1h 46m 57s