Skip to content

Activity

Showing most recent first

Merge queue merge

github-merge-queue[bot]pushed 2 commits to master • bbe4b18…46435cd • 
22 hours ago

Merge pull request #1780 from szabgab/patch-1

github-merge-queue[bot]created gh-readonly-queue/master/pr-1780-bbe4b183a2b2fa2b55407d8c2f6baad4ac117850 • 46435cd • 
22 hours ago

Merge queue merge

github-merge-queue[bot]pushed 3 commits to master • e665505…bbe4b18 • 
6 days ago

Merge pull request #1776 from ehuss/linkify-precedence

github-merge-queue[bot]created gh-readonly-queue/master/pr-1776-e665505feab52aff006814a1fc5fc08aab74815c • bbe4b18 • 
6 days ago

Merge queue merge

github-merge-queue[bot]pushed 3 commits to master • d1e0e0a…e665505 • 
6 days ago

Merge pull request #1775 from ehuss/rule-ref-link

github-merge-queue[bot]created gh-readonly-queue/master/pr-1775-d1e0e0a094e29481eb7f4a397ff78717254c5cae • e665505 • 
6 days ago

Merge queue merge

github-merge-queue[bot]pushed 2 commits to master • 96618fa…d1e0e0a • 
6 days ago

Merge pull request #1771 from ehuss/trait-pattern-edition-rework

github-merge-queue[bot]created gh-readonly-queue/master/pr-1771-96618fa7560658a441401f20a512eeba1059aea0 • d1e0e0a • 
6 days ago

Merge queue merge

github-merge-queue[bot]pushed 3 commits to master • 3842281…96618fa • 
6 days ago

Merge pull request #1770 from ehuss/fix-header-rules

github-merge-queue[bot]created gh-readonly-queue/master/pr-1770-3842281615f8783d4ee6f3f51b96a5de4aefe546 • 96618fa • 
6 days ago

Merge queue merge

github-merge-queue[bot]pushed 5 commits to master • efe2172…3842281 • 
6 days ago

Merge pull request #1774 from ehuss/xtask

github-merge-queue[bot]created gh-readonly-queue/master/pr-1774-efe2172d4db673c7bf6230d6c307cde8a0cb982b • 3842281 • 
6 days ago

Merge queue merge

github-merge-queue[bot]pushed 4 commits to master • b718b6b…efe2172 • 
6 days ago

Merge pull request #1773 from ehuss/mdbook-spec-2024

github-merge-queue[bot]created gh-readonly-queue/master/pr-1773-b718b6b919c58bf1cfa305e11e01755970d6eed6 • efe2172 • 
6 days ago

Merge queue merge

github-merge-queue[bot]pushed 4 commits to master • ecb974e…b718b6b • 
6 days ago

Merge pull request #1772 from ehuss/byte

github-merge-queue[bot]created gh-readonly-queue/master/pr-1772-ecb974ed7fe6e0185d2797f573648c497072aebe • b718b6b • 
6 days ago

Merge queue merge

github-merge-queue[bot]pushed 2 commits to master • 49a9c8c…ecb974e • 
6 days ago

Merge pull request #1777 from ehuss/update-css-footnote

github-merge-queue[bot]created gh-readonly-queue/master/pr-1777-49a9c8c21b5757fbfc2e0d7799a2935d91f932da • ecb974e • 
6 days ago

Merge queue merge

github-merge-queue[bot]pushed 4 commits to master • c21d158…49a9c8c • 
10 days ago

Merge pull request #1750 from RalfJung/ub-is-ours-to-define

github-merge-queue[bot]created gh-readonly-queue/master/pr-1750-c21d1582e7e8ff8b61456d49b7bc427b0c291e9f • 49a9c8c • 
10 days ago