Skip to content

Actions: amaranth-lang/amaranth

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

docs/lang: document arrays.
CI #1769: Commit 0ea2aa6 pushed by github-merge-queue bot
January 22, 2024 23:30 4m 25s main
January 22, 2024 23:30 4m 25s
CI
CI #1768: Merge group checks requested
January 22, 2024 23:25 4m 36s
January 22, 2024 23:25 4m 36s
Add documentation for DomainRenamer, instances, and arrays
CI #1766: Pull request #1050 opened by whitequark
January 22, 2024 23:20 4m 35s whitequark:docs
January 22, 2024 23:20 4m 35s
Implement RFC 30: Component metadata.
CI #1765: Pull request #978 synchronize by jfng
January 19, 2024 10:24 5m 1s jfng:metadata
January 19, 2024 10:24 5m 1s
January 19, 2024 09:02 4m 48s
CI
CI #1763: Merge group checks requested
January 19, 2024 08:58 4m 39s
January 19, 2024 08:58 4m 39s
January 18, 2024 20:12 4m 57s
CI
CI #1759: Merge group checks requested
January 18, 2024 20:07 5m 3s
January 18, 2024 20:07 5m 3s
back.rtlil: fix emitting ROMs
CI #1756: Commit 9e97903 pushed by github-merge-queue bot
January 18, 2024 06:45 4m 34s main
January 18, 2024 06:45 4m 34s
CI
CI #1754: Merge group checks requested
January 18, 2024 06:40 4m 55s
January 18, 2024 06:40 4m 55s
back.rtlil: fix emitting ROMs
CI #1753: Pull request #1043 opened by wanda-phi
January 18, 2024 06:35 4m 29s wanda-phi:mem-fix
January 18, 2024 06:35 4m 29s
docs: update cover, title, and copyright.
CI #1751: Commit 6211eca pushed by github-merge-queue bot
January 17, 2024 18:35 6m 4s main
January 17, 2024 18:35 6m 4s
CI
CI #1750: Merge group checks requested
January 17, 2024 18:29 6m 44s
January 17, 2024 18:29 6m 44s
docs: update cover, title, and copyright
CI #1748: Pull request #1041 synchronize by whitequark
January 17, 2024 18:23 5m 59s whitequark:update-docs
January 17, 2024 18:23 5m 59s
CI
CI #1747: Merge group checks requested
January 17, 2024 18:07 5m 12s
January 17, 2024 18:07 5m 12s
ProTip! You can narrow down the results and go further in time using created:<2024-01-17 or the other filters available.