Skip to content

Commit d83dda5

Browse files
github-merge-queue[bot]github-merge-queue[bot]
committed
Deploying to main from @ amaranth-lang/amaranth@1ef99a5 🚀
1 parent f4f537f commit d83dda5

36 files changed

+138
-141
lines changed

‎docs/amaranth/latest/_static/documentation_options.js‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
const DOCUMENTATION_OPTIONS = {
2-
VERSION: '0.6.0.dev110',
2+
VERSION: '0.6.0.dev111',
33
LANGUAGE: 'en',
44
COLLAPSE_INDEX: false,
55
BUILDER: 'html',

‎docs/amaranth/latest/_static/version-switch.js‎

Lines changed: 5 additions & 8 deletions
Original file line numberDiff line numberDiff line change
@@ -5,6 +5,11 @@ document.addEventListener('DOMContentLoaded', () => {
55
);
66

77
function insertVersionSwitch(versions) {
8+
let currentVersion = DOCUMENTATION_OPTIONS.VERSION;
9+
if (!versions.some(({ name }) => name === currentVersion)) {
10+
return;
11+
}
12+
813
let versionElement = document.querySelector('.wy-side-nav-search > .version');
914
if (!versionElement) return;
1015

@@ -72,14 +77,6 @@ document.addEventListener('DOMContentLoaded', () => {
7277
`);
7378
document.adoptedStyleSheets.push(cssStyleSheet);
7479

75-
let currentVersion = DOCUMENTATION_OPTIONS.VERSION;
76-
if (!versions.some(({ name }) => name === currentVersion)) {
77-
versions = [
78-
{ name: currentVersion, root_url: contentRoot },
79-
...versions,
80-
];
81-
}
82-
8380
for (let { name, root_url: rootURL } of versions) {
8481
rootURL = new URL(rootURL, window.location.href);
8582

‎docs/amaranth/latest/changes.html‎

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -4,7 +4,7 @@
44
<meta charset="utf-8" /><meta name="viewport" content="width=device-width, initial-scale=1" />
55

66
<meta name="viewport" content="width=device-width, initial-scale=1.0" />
7-
<title>Changelog &mdash; Amaranth language &amp; toolchain 0.6.0.dev110 documentation</title>
7+
<title>Changelog &mdash; Amaranth language &amp; toolchain 0.6.0.dev111 documentation</title>
88
<link rel="stylesheet" type="text/css" href="_static/pygments.css?v=b86133f3" />
99
<link rel="stylesheet" type="text/css" href="_static/css/theme.css?v=19f00094" />
1010
<link rel="stylesheet" type="text/css" href="_static/platformpicker.css" />
@@ -17,11 +17,11 @@
1717

1818
<script src="_static/jquery.js?v=5d32c60e"></script>
1919
<script src="_static/_sphinx_javascript_frameworks_compat.js?v=2cd50e6c"></script>
20-
<script src="_static/documentation_options.js?v=7b0a9f96"></script>
20+
<script src="_static/documentation_options.js?v=df721b8f"></script>
2121
<script src="_static/doctools.js?v=9a2dae69"></script>
2222
<script src="_static/sphinx_highlight.js?v=dc90522c"></script>
2323
<script src="_static/platformpicker.js"></script>
24-
<script src="_static/version-switch.js?v=243c41f6"></script>
24+
<script src="_static/version-switch.js?v=2535f946"></script>
2525
<script src="_static/js/theme.js"></script>
2626
<link rel="index" title="Index" href="genindex.html" />
2727
<link rel="search" title="Search" href="search.html" />
@@ -42,7 +42,7 @@
4242
<img src="_static/logo.png" class="logo" alt="Logo"/>
4343
</a>
4444
<div class="version">
45-
0.6.0.dev110
45+
0.6.0.dev111
4646
</div>
4747
<div role="search">
4848
<form id="rtd-search-form" class="wy-form" action="search.html" method="get">

‎docs/amaranth/latest/contrib.html‎

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -4,7 +4,7 @@
44
<meta charset="utf-8" /><meta name="viewport" content="width=device-width, initial-scale=1" />
55

66
<meta name="viewport" content="width=device-width, initial-scale=1.0" />
7-
<title>Contributing &mdash; Amaranth language &amp; toolchain 0.6.0.dev110 documentation</title>
7+
<title>Contributing &mdash; Amaranth language &amp; toolchain 0.6.0.dev111 documentation</title>
88
<link rel="stylesheet" type="text/css" href="_static/pygments.css?v=b86133f3" />
99
<link rel="stylesheet" type="text/css" href="_static/css/theme.css?v=19f00094" />
1010
<link rel="stylesheet" type="text/css" href="_static/platformpicker.css" />
@@ -17,11 +17,11 @@
1717

1818
<script src="_static/jquery.js?v=5d32c60e"></script>
1919
<script src="_static/_sphinx_javascript_frameworks_compat.js?v=2cd50e6c"></script>
20-
<script src="_static/documentation_options.js?v=7b0a9f96"></script>
20+
<script src="_static/documentation_options.js?v=df721b8f"></script>
2121
<script src="_static/doctools.js?v=9a2dae69"></script>
2222
<script src="_static/sphinx_highlight.js?v=dc90522c"></script>
2323
<script src="_static/platformpicker.js"></script>
24-
<script src="_static/version-switch.js?v=243c41f6"></script>
24+
<script src="_static/version-switch.js?v=2535f946"></script>
2525
<script src="_static/js/theme.js"></script>
2626
<link rel="index" title="Index" href="genindex.html" />
2727
<link rel="search" title="Search" href="search.html" />
@@ -41,7 +41,7 @@
4141
<img src="_static/logo.png" class="logo" alt="Logo"/>
4242
</a>
4343
<div class="version">
44-
0.6.0.dev110
44+
0.6.0.dev111
4545
</div>
4646
<div role="search">
4747
<form id="rtd-search-form" class="wy-form" action="search.html" method="get">

‎docs/amaranth/latest/cover.html‎

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -4,7 +4,7 @@
44
<meta charset="utf-8" /><meta name="viewport" content="width=device-width, initial-scale=1" />
55

66
<meta name="viewport" content="width=device-width, initial-scale=1.0" />
7-
<title>Amaranth project documentation &mdash; Amaranth language &amp; toolchain 0.6.0.dev110 documentation</title>
7+
<title>Amaranth project documentation &mdash; Amaranth language &amp; toolchain 0.6.0.dev111 documentation</title>
88
<link rel="stylesheet" type="text/css" href="_static/pygments.css?v=b86133f3" />
99
<link rel="stylesheet" type="text/css" href="_static/css/theme.css?v=19f00094" />
1010
<link rel="stylesheet" type="text/css" href="_static/platformpicker.css" />
@@ -17,11 +17,11 @@
1717

1818
<script src="_static/jquery.js?v=5d32c60e"></script>
1919
<script src="_static/_sphinx_javascript_frameworks_compat.js?v=2cd50e6c"></script>
20-
<script src="_static/documentation_options.js?v=7b0a9f96"></script>
20+
<script src="_static/documentation_options.js?v=df721b8f"></script>
2121
<script src="_static/doctools.js?v=9a2dae69"></script>
2222
<script src="_static/sphinx_highlight.js?v=dc90522c"></script>
2323
<script src="_static/platformpicker.js"></script>
24-
<script src="_static/version-switch.js?v=243c41f6"></script>
24+
<script src="_static/version-switch.js?v=2535f946"></script>
2525
<script src="_static/js/theme.js"></script>
2626
<link rel="index" title="Index" href="genindex.html" />
2727
<link rel="search" title="Search" href="search.html" />
@@ -41,7 +41,7 @@
4141
<img src="_static/logo.png" class="logo" alt="Logo"/>
4242
</a>
4343
<div class="version">
44-
0.6.0.dev110
44+
0.6.0.dev111
4545
</div>
4646
<div role="search">
4747
<form id="rtd-search-form" class="wy-form" action="search.html" method="get">

‎docs/amaranth/latest/genindex.html‎

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -3,7 +3,7 @@
33
<head>
44
<meta charset="utf-8" />
55
<meta name="viewport" content="width=device-width, initial-scale=1.0" />
6-
<title>Index &mdash; Amaranth language &amp; toolchain 0.6.0.dev110 documentation</title>
6+
<title>Index &mdash; Amaranth language &amp; toolchain 0.6.0.dev111 documentation</title>
77
<link rel="stylesheet" type="text/css" href="_static/pygments.css?v=b86133f3" />
88
<link rel="stylesheet" type="text/css" href="_static/css/theme.css?v=19f00094" />
99
<link rel="stylesheet" type="text/css" href="_static/platformpicker.css" />
@@ -16,11 +16,11 @@
1616

1717
<script src="_static/jquery.js?v=5d32c60e"></script>
1818
<script src="_static/_sphinx_javascript_frameworks_compat.js?v=2cd50e6c"></script>
19-
<script src="_static/documentation_options.js?v=7b0a9f96"></script>
19+
<script src="_static/documentation_options.js?v=df721b8f"></script>
2020
<script src="_static/doctools.js?v=9a2dae69"></script>
2121
<script src="_static/sphinx_highlight.js?v=dc90522c"></script>
2222
<script src="_static/platformpicker.js"></script>
23-
<script src="_static/version-switch.js?v=243c41f6"></script>
23+
<script src="_static/version-switch.js?v=2535f946"></script>
2424
<script src="_static/js/theme.js"></script>
2525
<link rel="index" title="Index" href="#" />
2626
<link rel="search" title="Search" href="search.html" />
@@ -39,7 +39,7 @@
3939
<img src="_static/logo.png" class="logo" alt="Logo"/>
4040
</a>
4141
<div class="version">
42-
0.6.0.dev110
42+
0.6.0.dev111
4343
</div>
4444
<div role="search">
4545
<form id="rtd-search-form" class="wy-form" action="search.html" method="get">

‎docs/amaranth/latest/guide.html‎

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -4,7 +4,7 @@
44
<meta charset="utf-8" /><meta name="viewport" content="width=device-width, initial-scale=1" />
55

66
<meta name="viewport" content="width=device-width, initial-scale=1.0" />
7-
<title>Language guide &mdash; Amaranth language &amp; toolchain 0.6.0.dev110 documentation</title>
7+
<title>Language guide &mdash; Amaranth language &amp; toolchain 0.6.0.dev111 documentation</title>
88
<link rel="stylesheet" type="text/css" href="_static/pygments.css?v=b86133f3" />
99
<link rel="stylesheet" type="text/css" href="_static/css/theme.css?v=19f00094" />
1010
<link rel="stylesheet" type="text/css" href="_static/platformpicker.css" />
@@ -17,11 +17,11 @@
1717

1818
<script src="_static/jquery.js?v=5d32c60e"></script>
1919
<script src="_static/_sphinx_javascript_frameworks_compat.js?v=2cd50e6c"></script>
20-
<script src="_static/documentation_options.js?v=7b0a9f96"></script>
20+
<script src="_static/documentation_options.js?v=df721b8f"></script>
2121
<script src="_static/doctools.js?v=9a2dae69"></script>
2222
<script src="_static/sphinx_highlight.js?v=dc90522c"></script>
2323
<script src="_static/platformpicker.js"></script>
24-
<script src="_static/version-switch.js?v=243c41f6"></script>
24+
<script src="_static/version-switch.js?v=2535f946"></script>
2525
<script src="_static/js/theme.js"></script>
2626
<link rel="index" title="Index" href="genindex.html" />
2727
<link rel="search" title="Search" href="search.html" />
@@ -42,7 +42,7 @@
4242
<img src="_static/logo.png" class="logo" alt="Logo"/>
4343
</a>
4444
<div class="version">
45-
0.6.0.dev110
45+
0.6.0.dev111
4646
</div>
4747
<div role="search">
4848
<form id="rtd-search-form" class="wy-form" action="search.html" method="get">

‎docs/amaranth/latest/index.html‎

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -4,7 +4,7 @@
44
<meta charset="utf-8" /><meta name="viewport" content="width=device-width, initial-scale=1" />
55

66
<meta name="viewport" content="width=device-width, initial-scale=1.0" />
7-
<title>Language &amp; toolchain &mdash; Amaranth language &amp; toolchain 0.6.0.dev110 documentation</title>
7+
<title>Language &amp; toolchain &mdash; Amaranth language &amp; toolchain 0.6.0.dev111 documentation</title>
88
<link rel="stylesheet" type="text/css" href="_static/pygments.css?v=b86133f3" />
99
<link rel="stylesheet" type="text/css" href="_static/css/theme.css?v=19f00094" />
1010
<link rel="stylesheet" type="text/css" href="_static/platformpicker.css" />
@@ -17,11 +17,11 @@
1717

1818
<script src="_static/jquery.js?v=5d32c60e"></script>
1919
<script src="_static/_sphinx_javascript_frameworks_compat.js?v=2cd50e6c"></script>
20-
<script src="_static/documentation_options.js?v=7b0a9f96"></script>
20+
<script src="_static/documentation_options.js?v=df721b8f"></script>
2121
<script src="_static/doctools.js?v=9a2dae69"></script>
2222
<script src="_static/sphinx_highlight.js?v=dc90522c"></script>
2323
<script src="_static/platformpicker.js"></script>
24-
<script src="_static/version-switch.js?v=243c41f6"></script>
24+
<script src="_static/version-switch.js?v=2535f946"></script>
2525
<script src="_static/js/theme.js"></script>
2626
<link rel="index" title="Index" href="genindex.html" />
2727
<link rel="search" title="Search" href="search.html" />
@@ -42,7 +42,7 @@
4242
<img src="_static/logo.png" class="logo" alt="Logo"/>
4343
</a>
4444
<div class="version">
45-
0.6.0.dev110
45+
0.6.0.dev111
4646
</div>
4747
<div role="search">
4848
<form id="rtd-search-form" class="wy-form" action="search.html" method="get">

‎docs/amaranth/latest/install.html‎

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -4,7 +4,7 @@
44
<meta charset="utf-8" /><meta name="viewport" content="width=device-width, initial-scale=1" />
55

66
<meta name="viewport" content="width=device-width, initial-scale=1.0" />
7-
<title>Installation &mdash; Amaranth language &amp; toolchain 0.6.0.dev110 documentation</title>
7+
<title>Installation &mdash; Amaranth language &amp; toolchain 0.6.0.dev111 documentation</title>
88
<link rel="stylesheet" type="text/css" href="_static/pygments.css?v=b86133f3" />
99
<link rel="stylesheet" type="text/css" href="_static/css/theme.css?v=19f00094" />
1010
<link rel="stylesheet" type="text/css" href="_static/platformpicker.css" />
@@ -17,11 +17,11 @@
1717

1818
<script src="_static/jquery.js?v=5d32c60e"></script>
1919
<script src="_static/_sphinx_javascript_frameworks_compat.js?v=2cd50e6c"></script>
20-
<script src="_static/documentation_options.js?v=7b0a9f96"></script>
20+
<script src="_static/documentation_options.js?v=df721b8f"></script>
2121
<script src="_static/doctools.js?v=9a2dae69"></script>
2222
<script src="_static/sphinx_highlight.js?v=dc90522c"></script>
2323
<script src="_static/platformpicker.js"></script>
24-
<script src="_static/version-switch.js?v=243c41f6"></script>
24+
<script src="_static/version-switch.js?v=2535f946"></script>
2525
<script src="_static/js/theme.js"></script>
2626
<link rel="index" title="Index" href="genindex.html" />
2727
<link rel="search" title="Search" href="search.html" />
@@ -42,7 +42,7 @@
4242
<img src="_static/logo.png" class="logo" alt="Logo"/>
4343
</a>
4444
<div class="version">
45-
0.6.0.dev110
45+
0.6.0.dev111
4646
</div>
4747
<div role="search">
4848
<form id="rtd-search-form" class="wy-form" action="search.html" method="get">

‎docs/amaranth/latest/intro.html‎

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -4,7 +4,7 @@
44
<meta charset="utf-8" /><meta name="viewport" content="width=device-width, initial-scale=1" />
55

66
<meta name="viewport" content="width=device-width, initial-scale=1.0" />
7-
<title>Introduction &mdash; Amaranth language &amp; toolchain 0.6.0.dev110 documentation</title>
7+
<title>Introduction &mdash; Amaranth language &amp; toolchain 0.6.0.dev111 documentation</title>
88
<link rel="stylesheet" type="text/css" href="_static/pygments.css?v=b86133f3" />
99
<link rel="stylesheet" type="text/css" href="_static/css/theme.css?v=19f00094" />
1010
<link rel="stylesheet" type="text/css" href="_static/platformpicker.css" />
@@ -17,11 +17,11 @@
1717

1818
<script src="_static/jquery.js?v=5d32c60e"></script>
1919
<script src="_static/_sphinx_javascript_frameworks_compat.js?v=2cd50e6c"></script>
20-
<script src="_static/documentation_options.js?v=7b0a9f96"></script>
20+
<script src="_static/documentation_options.js?v=df721b8f"></script>
2121
<script src="_static/doctools.js?v=9a2dae69"></script>
2222
<script src="_static/sphinx_highlight.js?v=dc90522c"></script>
2323
<script src="_static/platformpicker.js"></script>
24-
<script src="_static/version-switch.js?v=243c41f6"></script>
24+
<script src="_static/version-switch.js?v=2535f946"></script>
2525
<script src="_static/js/theme.js"></script>
2626
<link rel="index" title="Index" href="genindex.html" />
2727
<link rel="search" title="Search" href="search.html" />
@@ -42,7 +42,7 @@
4242
<img src="_static/logo.png" class="logo" alt="Logo"/>
4343
</a>
4444
<div class="version">
45-
0.6.0.dev110
45+
0.6.0.dev111
4646
</div>
4747
<div role="search">
4848
<form id="rtd-search-form" class="wy-form" action="search.html" method="get">

0 commit comments

Comments
 (0)