Skip to content

Actions: amaranth-lang/amaranth-soc

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
655 workflow runs
655 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

CI
CI #260: Scheduled
August 26, 2023 01:06 22s main
August 26, 2023 01:06 22s
CI
CI #259: Scheduled
August 25, 2023 01:09 23s main
August 25, 2023 01:09 23s
CI
CI #258: Scheduled
August 24, 2023 01:07 23s main
August 24, 2023 01:07 23s
CI
CI #257: Scheduled
August 23, 2023 01:07 23s main
August 23, 2023 01:07 23s
CI
CI #256: Scheduled
August 22, 2023 01:08 20s main
August 22, 2023 01:08 20s
CI
CI #255: Scheduled
August 21, 2023 01:07 31s main
August 21, 2023 01:07 31s
CI
CI #254: Scheduled
August 20, 2023 01:10 22s main
August 20, 2023 01:10 22s
CI
CI #253: Scheduled
August 19, 2023 01:05 24s main
August 19, 2023 01:05 24s
CI
CI #252: Scheduled
August 18, 2023 01:07 23s main
August 18, 2023 01:07 23s
CI
CI #251: Scheduled
August 17, 2023 01:06 23s main
August 17, 2023 01:06 23s
pyproject: synchronize with Amaranth.
CI #250: Commit 59223a8 pushed by github-merge-queue bot
August 16, 2023 19:39 33s main
August 16, 2023 19:39 33s
Bring __version__ retrieval up to date. NFCI
CI #247: Commit f77eba0 pushed by github-merge-queue bot
August 16, 2023 14:29 19s main
August 16, 2023 14:29 19s
Updates for Python 3.8+
CI #245: Pull request #45 synchronize by whitequark
August 16, 2023 14:27 22s whitequark:python-version-updates
August 16, 2023 14:27 22s
Updates for Python 3.8+
CI #244: Pull request #45 synchronize by whitequark
August 16, 2023 14:09 24s whitequark:python-version-updates
August 16, 2023 14:09 24s
Update .gitignore.
CI #242: Commit 692662f pushed by github-merge-queue bot
August 16, 2023 13:27 23s main
August 16, 2023 13:27 23s
Update .gitignore
CI #240: Pull request #44 opened by whitequark
August 16, 2023 13:14 25s whitequark:update-gitignore
August 16, 2023 13:14 25s
CI
CI #239: Scheduled
August 16, 2023 01:07 25s main
August 16, 2023 01:07 25s
CI
CI #238: Scheduled
August 15, 2023 01:07 23s main
August 15, 2023 01:07 23s
CI
CI #237: Scheduled
August 14, 2023 01:08 25s main
August 14, 2023 01:08 25s
CI
CI #236: Scheduled
August 13, 2023 01:10 23s main
August 13, 2023 01:10 23s
ProTip! You can narrow down the results and go further in time using created:<2023-08-13 or the other filters available.