Skip to content

Actions: amaranth-lang/amaranth

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
2,238 workflow runs
2,238 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Implement RFC 37: Make Signature immutable.
CI #1556: Pull request #998 synchronize by wanda-phi
December 11, 2023 18:25 5m 14s wanda-phi:signature-immutable
December 11, 2023 18:25 5m 14s
lib.wiring: make values of In and Out be strings "In" and "Out".
CI #1554: Commit b9c2404 pushed by github-merge-queue bot
December 11, 2023 18:10 5m 25s main
December 11, 2023 18:10 5m 25s
CI
CI #1552: Merge group checks requested
December 11, 2023 18:04 5m 12s
December 11, 2023 18:04 5m 12s
docs: Add changelog entries for RFCs 34, 35.
CI #1549: Commit 3d0c542 pushed by github-merge-queue bot
December 11, 2023 10:44 5m 32s main
December 11, 2023 10:44 5m 32s
CI
CI #1548: Merge group checks requested
December 11, 2023 10:39 5m 4s
December 11, 2023 10:39 5m 4s
Implement RFC 35: Add ShapeLike, ValueLike.
CI #1545: Commit e9545ef pushed by github-merge-queue bot
December 9, 2023 14:02 5m 18s main
December 9, 2023 14:02 5m 18s
CI
CI #1543: Merge group checks requested
December 9, 2023 13:57 4m 54s
December 9, 2023 13:57 4m 54s
Implement RFC 35: Add ShapeLike, ValueLike.
CI #1542: Pull request #983 synchronize by wanda-phi
December 9, 2023 13:52 4m 58s wanda-phi:shape-value-like
December 9, 2023 13:52 4m 58s
Implement RFC 35: Add ShapeLike, ValueLike.
CI #1541: Pull request #983 synchronize by wanda-phi
December 9, 2023 13:50 5m 21s wanda-phi:shape-value-like
December 9, 2023 13:50 5m 21s
Implement RFC 35: Add ShapeLike, ValueLike.
CI #1540: Pull request #983 synchronize by wanda-phi
December 9, 2023 13:45 2m 16s wanda-phi:shape-value-like
December 9, 2023 13:45 2m 16s
December 7, 2023 21:56 5m 5s
CI
CI #1538: Merge group checks requested
December 7, 2023 21:50 5m 5s
December 7, 2023 21:50 5m 5s
Remove remaining traces of $verilog_initial_trigger.
CI #1536: Commit 7db049f pushed by github-merge-queue bot
December 7, 2023 21:16 5m 15s main
December 7, 2023 21:16 5m 15s
CI
CI #1535: Merge group checks requested
December 7, 2023 21:10 5m 24s
December 7, 2023 21:10 5m 24s
ProTip! You can narrow down the results and go further in time using created:<2023-12-07 or the other filters available.