Skip to content

Actions: clash-lang/clash-compiler

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Internal error: unknown normalized binder Kloonbot #3626: Issue comment #2877 (comment) created by christiaanb
January 31, 2025 15:38 3s
January 31, 2025 15:38 3s
NO_TRANSLATION_FOR Kloonbot #3625: Issue comment #2878 (comment) edited by christiaanb
January 31, 2025 12:41 3s
January 31, 2025 12:41 3s
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
NO_TRANSLATION_FOR Kloonbot #3624: Issue comment #2878 (comment) created by christiaanb
January 22, 2025 21:11 3s
January 22, 2025 21:11 3s
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 Kloonbot #3623: Issue comment #2876 (comment) created by DigitalBrains1
January 20, 2025 11:24 11s
January 20, 2025 11:24 11s
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
Internal error: unknown normalized binder Kloonbot #3622: Issue comment #2877 (comment) created by gergoerdi
January 18, 2025 08:03 3s
January 18, 2025 08:03 3s
New: ddrForwardClock Kloonbot #3621: Issue comment #2876 (comment) edited by rowanG077
January 16, 2025 23:24 9s
January 16, 2025 23:24 9s
New: ddrForwardClock Kloonbot #3620: Issue comment #2876 (comment) edited by rowanG077
January 16, 2025 23:23 11s
January 16, 2025 23:23 11s
Synthesis time is linear in the size of Index Kloonbot #3619: Issue comment #2875 (comment) created by rowanG077
January 16, 2025 23:17 2s
January 16, 2025 23:17 2s
Synthesis time is linear in the size of Index Kloonbot #3618: Issue comment #2875 (comment) created by christiaanb
January 16, 2025 23:13 3s
January 16, 2025 23:13 3s
New: ddrForwardClock Kloonbot #3617: Issue comment #2876 (comment) edited by rowanG077
January 16, 2025 18:36 14s
January 16, 2025 18:36 14s
New: ddrForwardClock Kloonbot #3616: Issue comment #2876 (comment) created by rowanG077
January 16, 2025 18:36 16s
January 16, 2025 18:36 16s
New: ddrForwardClock Kloonbot #3615: Issue comment #2876 (comment) created by rowanG077
January 16, 2025 17:12 12s
January 16, 2025 17:12 12s
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 Kloonbot #3614: Issue comment #2876 (comment) created by DigitalBrains1
January 16, 2025 16:42 16s
January 16, 2025 16:42 16s
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