Skip to content

Actions: amaranth-lang/amaranth

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
2,273 workflow runs
2,273 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

CI
CI #1385: Merge group checks requested
October 30, 2023 20:32 8m 49s
October 30, 2023 20:32 8m 49s
ast: allow overriding Value operators.
CI #1382: Commit 8796013 pushed by github-merge-queue bot
October 30, 2023 20:18 21s main
October 30, 2023 20:18 21s
CI
CI #1380: Merge group checks requested
October 30, 2023 20:18 34s
October 30, 2023 20:18 34s
ast: allow overriding Value operators.
CI #1379: Pull request #929 synchronize by zyp
October 30, 2023 20:07 23s zyp:override-value-operators
October 30, 2023 20:07 23s
ast: allow overriding Value operators.
CI #1378: Pull request #929 synchronize by zyp
October 30, 2023 19:38 6m 46s zyp:override-value-operators
October 30, 2023 19:38 6m 46s
lib.enum: use plain EnumMeta as metaclass when shape not used.
CI #1377: Commit 1c3227d pushed by github-merge-queue bot
October 25, 2023 17:07 9m 23s main
October 25, 2023 17:07 9m 23s
CI
CI #1376: Merge group checks requested
October 25, 2023 17:00 9m 9s
October 25, 2023 17:00 9m 9s
Implement RFC 20: Deprecate non-FWFT FIFOs.
CI #1373: Commit 4e4085a pushed by github-merge-queue bot
October 24, 2023 20:58 7m 5s main
October 24, 2023 20:58 7m 5s
CI
CI #1371: Merge group checks requested
October 24, 2023 20:50 11m 23s
October 24, 2023 20:50 11m 23s
Implement RFC 20: Deprecate non-FWFT FIFOs.
CI #1370: Pull request #945 synchronize by wanda-phi
October 24, 2023 20:42 7m 24s wanda-phi:deprecate-non-fwft
October 24, 2023 20:42 7m 24s
test_lib_wiring: squash UnusedElaboratable warnings.
CI #1368: Commit e53d784 pushed by github-merge-queue bot
October 24, 2023 20:25 8m 54s main
October 24, 2023 20:25 8m 54s
CI
CI #1366: Merge group checks requested
October 24, 2023 20:18 6m 29s
October 24, 2023 20:18 6m 29s
lib.enum: allow using functional syntax for enum creation.
CI #1364: Commit 00699f7 pushed by github-merge-queue bot
October 21, 2023 05:53 7m 0s main
October 21, 2023 05:53 7m 0s
CI
CI #1362: Merge group checks requested
October 21, 2023 05:46 8m 53s
October 21, 2023 05:46 8m 53s
ProTip! You can narrow down the results and go further in time using created:<2023-10-20 or the other filters available.