Skip to content

Activity

Showing most recent first

Merge queue merge

github-merge-queue[bot]pushed 1 commit to main • 2da45b8…618a13f • 
on Oct 12, 2024

Drop support for Python 3.8.

github-merge-queue[bot]created gh-readonly-queue/main/pr-20-2da45b8e75421879d1096495a4fb438de705f567 • 618a13f • 
on Oct 12, 2024

Merge queue merge

github-merge-queue[bot]pushed 1 commit to main • f43669d…2da45b8 • 
on Sep 26, 2024

tests: Ignore deprecation warnings due to RFC 66.

github-merge-queue[bot]created gh-readonly-queue/main/pr-19-f43669d04bb5d5f8c1092ba68087226ec05277ae • 2da45b8 • 
on Sep 26, 2024

Merge queue merge

github-merge-queue[bot]pushed 2 commits to main • 91807da…f43669d • 
on Jun 28, 2024

CI: upgrade all Github Actions.

github-merge-queue[bot]created gh-readonly-queue/main/pr-18-91807daf8376a88626d1ca11ef352f250b068c34 • f43669d • 
on Jun 28, 2024

Merge queue merge

github-merge-queue[bot]pushed 1 commit to main • ae774a5…91807da • 
on Jun 11, 2024

tests: migrate to the new amaranth.sim API.

github-merge-queue[bot]created gh-readonly-queue/main/pr-17-ae774a5709321d5bffddbcebed09b0e350cb6282 • 91807da • 
on Jun 11, 2024

Merge queue merge

github-merge-queue[bot]pushed 3 commits to main • 4aa39e8…ae774a5 • 
on Feb 28, 2024

Merge queue merge

github-merge-queue[bot]pushed 1 commit to main • cf7c4c0…4aa39e8 • 
on Jan 17, 2024

docs: fix custom CSS.

github-merge-queue[bot]created gh-readonly-queue/main/pr-14-cf7c4c03e1e42347084460400759eced5822b4d3 • 4aa39e8 • 
on Jan 17, 2024

Merge queue merge

github-merge-queue[bot]pushed 1 commit to main • 0468ce0…cf7c4c0 • 
on Jan 17, 2024

Set up documentation boilerplate.

github-merge-queue[bot]created gh-readonly-queue/main/pr-13-0468ce0703e834124a19385f4ba916f1cfd93ed9 • cf7c4c0 • 
on Jan 17, 2024

Set up documentation boilerplate.

github-merge-queue[bot]created gh-readonly-queue/main/pr-13-0468ce0703e834124a19385f4ba916f1cfd93ed9 • 1c18317 • 
on Jan 17, 2024

Set up documentation boilerplate.

github-merge-queue[bot]created gh-readonly-queue/main/pr-13-0468ce0703e834124a19385f4ba916f1cfd93ed9 • 5a8376d • 
on Jan 17, 2024

Deleted branch

whitequarkdeleted docs • 
on Jan 17, 2024

Set up documentation boilerplate.

whitequarkcreated docs • 267d988 • 
on Jan 17, 2024

Deleted branch

whitequarkdeleted pdm • 
on Jan 17, 2024

Merge queue merge

github-merge-queue[bot]pushed 2 commits to main • eecd49c…0468ce0 • 
on Jan 17, 2024