Skip to content

Actions: amaranth-lang/amaranth

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
2,240 workflow runs
2,240 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Implement RFC 31: Enumeration type safety.
CI #1492: Pull request #957 synchronize by wanda-phi
November 29, 2023 10:28 5m 17s wanda-phi:enum-type-check
November 29, 2023 10:28 5m 17s
Implement RFC 31: Enumeration type safety.
CI #1491: Pull request #957 synchronize by wanda-phi
November 29, 2023 08:30 5m 8s wanda-phi:enum-type-check
November 29, 2023 08:30 5m 8s
Implement RFC 31: Enumeration type safety.
CI #1490: Pull request #957 synchronize by wanda-phi
November 28, 2023 14:54 5m 43s wanda-phi:enum-type-check
November 28, 2023 14:54 5m 43s
sim.pysim: admit non-signals in write_vcd(traces=...).
CI #1489: Commit b0b193f pushed by github-merge-queue bot
November 28, 2023 12:27 5m 32s main
November 28, 2023 12:27 5m 32s
CI
CI #1487: Merge group checks requested
November 28, 2023 12:21 5m 7s
November 28, 2023 12:21 5m 7s
lib.data: implement equality for View, reject all other operators.
CI #1485: Commit c6000b1 pushed by github-merge-queue bot
November 27, 2023 21:50 5m 14s main
November 27, 2023 21:50 5m 14s
CI
CI #1483: Merge group checks requested
November 27, 2023 21:45 5m 17s
November 27, 2023 21:45 5m 17s
sim: add support for dumping structure fields in VCD.
CI #1481: Commit 4bfe2cd pushed by github-merge-queue bot
November 27, 2023 19:09 7m 39s main
November 27, 2023 19:09 7m 39s
CI
CI #1477: Merge group checks requested
November 27, 2023 19:03 5m 44s
November 27, 2023 19:03 5m 44s
November 27, 2023 19:01 6m 51s
CI
CI #1474: Merge group checks requested
November 27, 2023 18:53 7m 41s
November 27, 2023 18:53 7m 41s
CI
CI #1471: Merge group checks requested
November 27, 2023 18:50 9m 47s
November 27, 2023 18:50 9m 47s
CI
CI #1470: Merge group checks requested
November 27, 2023 18:50 9m 38s
November 27, 2023 18:50 9m 38s
CI
CI #1468: Merge group checks requested
November 27, 2023 18:50 10m 17s
November 27, 2023 18:50 10m 17s
ProTip! You can narrow down the results and go further in time using created:<2023-11-27 or the other filters available.