-
Notifications
You must be signed in to change notification settings - Fork 9
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
- Loading branch information
Showing
5 changed files
with
44 additions
and
44 deletions.
There are no files selected for viewing
Binary file not shown.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
|
@@ -1031,7 +1031,7 @@ <h2 id="general-list">General List<a class="headerlink" href="#general-list" tit | |
|
||
<td style="vertical-align:top; border:1px solid #DCDCDC; padding: 5px"><i>MkDocsConfig</i></td> | ||
|
||
<td style="vertical-align:top; border:1px solid #DCDCDC; padding: 5px">{'config_file_path': '/home/runner/work/spoofax-pie/spoofax-pie/mkdocs.yml', 'site_name': 'Spoofax 3', 'nav': [{'Home': 'index.md'}, {'Tutorials': ['tutorial/install.md', 'tutorial/create_language_project.md', 'tutorial/change_static_semantics.md']}, {'How-to Guides': ['guide/ask_for_help.md', 'guide/report_a_bug.md', {'Eclipse LWB': ['guide/eclipse_lwb/import.md', 'guide/eclipse_lwb/update.md', 'guide/eclipse_lwb/troubleshooting.md']}, {'Static Semantics': ['guide/static-semantics/code-completion.md']}, {'Development': ['guide/development/debugging-in-intellij.md', 'guide/development/troubleshooting.md']}]}, {'Reference': ['reference/configuration.md', 'reference/eclipse-lwb/eclipse-project-files.md']}, {'Background': ['background/documentation.md', 'background/motivation.md', 'background/key_ideas.md', 'background/status.md']}, {'Releases': ['release/download.md']}], 'pages': None, 'site_url': None, 'site_description': 'Spoofax 3 documentation website', 'site_author': None, 'theme': Theme(name='material', dirs=['/opt/hostedtoolcache/Python/3.8.18/x64/lib/python3.8/site-packages/material', '/opt/hostedtoolcache/Python/3.8.18/x64/lib/python3.8/site-packages/mkdocs/templates'], static_templates=['sitemap.xml', '404.html'], locale=Locale(language='en', territory=''), language='en', direction=None, features=['navigation.expand', 'navigation.instant', 'navigation.tabs', 'navigation.tabs.sticky', 'navigation.sections', 'navigation.indexes', 'navigation.top'], palette={'primary': 'indigo', 'accent': 'indigo'}, font={'code': 'JetBrains Mono'}, icon=None, favicon='assets/spoofax.png', include_search_page=False, search_index_only=True, logo='assets/spoofax.svg'), 'docs_dir': '/home/runner/work/spoofax-pie/spoofax-pie/docs', 'site_dir': '/home/runner/work/spoofax-pie/spoofax-pie/site', 'copyright': None, 'google_analytics': None, 'dev_addr': _IpAddressValue(host='127.0.0.1', port=8000), 'use_directory_urls': True, 'repo_url': 'https://github.com/metaborg/spoofax-pie', 'repo_name': 'metaborg/spoofax-pie', 'edit_uri_template': None, 'edit_uri': 'edit/master/docs/', 'extra_css': ['extra.css'], 'extra_javascript': [], 'extra_templates': [], 'markdown_extensions': ['toc', 'tables', 'fenced_code', 'abbr', 'admonition', 'attr_list', 'codehilite', 'def_list', 'pymdownx.betterem', 'pymdownx.caret', 'pymdownx.details', 'pymdownx.emoji', 'pymdownx.inlinehilite', 'pymdownx.keys', 'pymdownx.magiclink', 'pymdownx.mark', 'pymdownx.saneheaders', 'pymdownx.smartsymbols', 'pymdownx.snippets', 'pymdownx.superfences', 'pymdownx.tabbed', 'pymdownx.tasklist', 'pymdownx.tilde'], 'mdx_configs': {'codehilite': {'guess_lang': False}, 'toc': {'permalink': True}, 'pymdownx.betterem': {'smart_enable': 'all'}, 'pymdownx.emoji': {'emoji_index': <function twemoji at 0x7f65ca532550>, 'emoji_generator': <function to_svg at 0x7f65ca532940>}, 'pymdownx.tasklist': {'custom_checkbox': True}}, 'strict': False, 'remote_branch': 'gh-pages', 'remote_name': 'origin', 'extra': {}, 'plugins': PluginCollection([('search', <material.plugins.search.plugin.SearchPlugin object at 0x7f65c9a969a0>), ('macros', <mkdocs_macros.plugin.MacrosPlugin object at 0x7f65c9a96f70>), ('git-revision-date', <mkdocs_git_revision_date_plugin.plugin.GitRevisionDatePlugin object at 0x7f65c9a96c10>)]), 'hooks': {}, 'watch': []}</td> | ||
<td style="vertical-align:top; border:1px solid #DCDCDC; padding: 5px">{'config_file_path': '/home/runner/work/spoofax-pie/spoofax-pie/mkdocs.yml', 'site_name': 'Spoofax 3', 'nav': [{'Home': 'index.md'}, {'Tutorials': ['tutorial/install.md', 'tutorial/create_language_project.md', 'tutorial/change_static_semantics.md']}, {'How-to Guides': ['guide/ask_for_help.md', 'guide/report_a_bug.md', {'Eclipse LWB': ['guide/eclipse_lwb/import.md', 'guide/eclipse_lwb/update.md', 'guide/eclipse_lwb/troubleshooting.md']}, {'Static Semantics': ['guide/static-semantics/code-completion.md']}, {'Development': ['guide/development/debugging-in-intellij.md', 'guide/development/troubleshooting.md']}]}, {'Reference': ['reference/configuration.md', 'reference/eclipse-lwb/eclipse-project-files.md']}, {'Background': ['background/documentation.md', 'background/motivation.md', 'background/key_ideas.md', 'background/status.md']}, {'Releases': ['release/download.md']}], 'pages': None, 'site_url': None, 'site_description': 'Spoofax 3 documentation website', 'site_author': None, 'theme': Theme(name='material', dirs=['/opt/hostedtoolcache/Python/3.8.18/x64/lib/python3.8/site-packages/material', '/opt/hostedtoolcache/Python/3.8.18/x64/lib/python3.8/site-packages/mkdocs/templates'], static_templates=['404.html', 'sitemap.xml'], locale=Locale(language='en', territory=''), language='en', direction=None, features=['navigation.expand', 'navigation.instant', 'navigation.tabs', 'navigation.tabs.sticky', 'navigation.sections', 'navigation.indexes', 'navigation.top'], palette={'primary': 'indigo', 'accent': 'indigo'}, font={'code': 'JetBrains Mono'}, icon=None, favicon='assets/spoofax.png', include_search_page=False, search_index_only=True, logo='assets/spoofax.svg'), 'docs_dir': '/home/runner/work/spoofax-pie/spoofax-pie/docs', 'site_dir': '/home/runner/work/spoofax-pie/spoofax-pie/site', 'copyright': None, 'google_analytics': None, 'dev_addr': _IpAddressValue(host='127.0.0.1', port=8000), 'use_directory_urls': True, 'repo_url': 'https://github.com/metaborg/spoofax-pie', 'repo_name': 'metaborg/spoofax-pie', 'edit_uri_template': None, 'edit_uri': 'edit/master/docs/', 'extra_css': ['extra.css'], 'extra_javascript': [], 'extra_templates': [], 'markdown_extensions': ['toc', 'tables', 'fenced_code', 'abbr', 'admonition', 'attr_list', 'codehilite', 'def_list', 'pymdownx.betterem', 'pymdownx.caret', 'pymdownx.details', 'pymdownx.emoji', 'pymdownx.inlinehilite', 'pymdownx.keys', 'pymdownx.magiclink', 'pymdownx.mark', 'pymdownx.saneheaders', 'pymdownx.smartsymbols', 'pymdownx.snippets', 'pymdownx.superfences', 'pymdownx.tabbed', 'pymdownx.tasklist', 'pymdownx.tilde'], 'mdx_configs': {'codehilite': {'guess_lang': False}, 'toc': {'permalink': True}, 'pymdownx.betterem': {'smart_enable': 'all'}, 'pymdownx.emoji': {'emoji_index': <function twemoji at 0x7fa399ce2d30>, 'emoji_generator': <function to_svg at 0x7fa399ce5160>}, 'pymdownx.tasklist': {'custom_checkbox': True}}, 'strict': False, 'remote_branch': 'gh-pages', 'remote_name': 'origin', 'extra': {}, 'plugins': PluginCollection([('search', <material.plugins.search.plugin.SearchPlugin object at 0x7fa39924c340>), ('macros', <mkdocs_macros.plugin.MacrosPlugin object at 0x7fa39924ce20>), ('git-revision-date', <mkdocs_git_revision_date_plugin.plugin.GitRevisionDatePlugin object at 0x7fa39924cb80>)]), 'hooks': {}, 'watch': []}</td> | ||
|
||
</tr> | ||
|
||
|
@@ -1041,7 +1041,7 @@ <h2 id="general-list">General List<a class="headerlink" href="#general-list" tit | |
|
||
<td style="vertical-align:top; border:1px solid #DCDCDC; padding: 5px"><i>dict</i></td> | ||
|
||
<td style="vertical-align:top; border:1px solid #DCDCDC; padding: 5px">system = 'Linux', system_version = '6.5.0-1015-azure', python_version = '3.8.18', mkdocs_version = '1.4.0', macros_plugin_version = '0.7.0', jinja2_version = '3.1.3'</td> | ||
<td style="vertical-align:top; border:1px solid #DCDCDC; padding: 5px">system = 'Linux', system_version = '6.5.0-1017-azure', python_version = '3.8.18', mkdocs_version = '1.4.0', macros_plugin_version = '0.7.0', jinja2_version = '3.1.3'</td> | ||
|
||
</tr> | ||
|
||
|
@@ -1061,7 +1061,7 @@ <h2 id="general-list">General List<a class="headerlink" href="#general-list" tit | |
|
||
<td style="vertical-align:top; border:1px solid #DCDCDC; padding: 5px"><i>dict</i></td> | ||
|
||
<td style="vertical-align:top; border:1px solid #DCDCDC; padding: 5px">status = True, <b>date</b> [<i>datetime</i>], short_commit = 'fb682a2', commit = 'fb682a2aa7e9f8ed67c96b48f4d6ae213e400b45', tag = '', author = 'Jeff Smits', author_email = '[email protected]', committer = 'Jeff Smits', committer_email = '[email protected]', date_ISO = 'Wed Mar 6 17:08:27 2024 +0100', message = 'Remove 0.19.5 from docs, that release never built successfully on the buildfarm', raw = 'commit fb682a2aa7e9f8ed67c96b48f4d6ae213e400b45\nAuthor: Jeff Smits <j[email protected]>\nDate: Wed Mar 6 17:08:27 2024 +0100\n\n Remove 0.19.5 from docs, that release never built successfully on the buildfarm', root_dir = '/home/runner/work/spoofax-pie/spoofax-pie'</td> | ||
<td style="vertical-align:top; border:1px solid #DCDCDC; padding: 5px">status = True, <b>date</b> [<i>datetime</i>], short_commit = '4de8129', commit = '4de81293ddd7417067f6d8bc63893739d3e5bf5c', tag = '', author = 'Daniel A. A. Pelsmaeker', author_email = '[email protected]', committer = 'Daniel A. A. Pelsmaeker', committer_email = '[email protected]', date_ISO = 'Tue Apr 16 13:33:32 2024 +0200', message = 'Allow duplicates', raw = 'commit 4de81293ddd7417067f6d8bc63893739d3e5bf5c\nAuthor: Daniel A. A. Pelsmaeker <developer@pelsmaeker.net>\nDate: Tue Apr 16 13:33:32 2024 +0200\n\n Allow duplicates', root_dir = '/home/runner/work/spoofax-pie/spoofax-pie'</td> | ||
|
||
</tr> | ||
|
||
|
@@ -1131,7 +1131,7 @@ <h2 id="general-list">General List<a class="headerlink" href="#general-list" tit | |
|
||
<td style="vertical-align:top; border:1px solid #DCDCDC; padding: 5px"><i>Files</i></td> | ||
|
||
<td style="vertical-align:top; border:1px solid #DCDCDC; padding: 5px"><mkdocs.structure.files.Files object at 0x7f65cb129f40></td> | ||
<td style="vertical-align:top; border:1px solid #DCDCDC; padding: 5px"><mkdocs.structure.files.Files object at 0x7fa399f133d0></td> | ||
|
||
</tr> | ||
|
||
|
@@ -1236,7 +1236,7 @@ <h2 id="config-information">Config Information<a class="headerlink" href="#confi | |
|
||
<td style="vertical-align:top; border:1px solid #DCDCDC; padding: 5px"><i>Theme</i></td> | ||
|
||
<td style="vertical-align:top; border:1px solid #DCDCDC; padding: 5px">Theme(name='material', dirs=['/opt/hostedtoolcache/Python/3.8.18/x64/lib/python3.8/site-packages/material', '/opt/hostedtoolcache/Python/3.8.18/x64/lib/python3.8/site-packages/mkdocs/templates'], static_templates=['sitemap.xml', '404.html'], locale=Locale(language='en', territory=''), language='en', direction=None, features=['navigation.expand', 'navigation.instant', 'navigation.tabs', 'navigation.tabs.sticky', 'navigation.sections', 'navigation.indexes', 'navigation.top'], palette={'primary': 'indigo', 'accent': 'indigo'}, font={'code': 'JetBrains Mono'}, icon=None, favicon='assets/spoofax.png', include_search_page=False, search_index_only=True, logo='assets/spoofax.svg')</td> | ||
<td style="vertical-align:top; border:1px solid #DCDCDC; padding: 5px">Theme(name='material', dirs=['/opt/hostedtoolcache/Python/3.8.18/x64/lib/python3.8/site-packages/material', '/opt/hostedtoolcache/Python/3.8.18/x64/lib/python3.8/site-packages/mkdocs/templates'], static_templates=['404.html', 'sitemap.xml'], locale=Locale(language='en', territory=''), language='en', direction=None, features=['navigation.expand', 'navigation.instant', 'navigation.tabs', 'navigation.tabs.sticky', 'navigation.sections', 'navigation.indexes', 'navigation.top'], palette={'primary': 'indigo', 'accent': 'indigo'}, font={'code': 'JetBrains Mono'}, icon=None, favicon='assets/spoofax.png', include_search_page=False, search_index_only=True, logo='assets/spoofax.svg')</td> | ||
|
||
</tr> | ||
|
||
|
@@ -1545,7 +1545,7 @@ <h2 id="git-information">Git Information<a class="headerlink" href="#git-informa | |
|
||
<td style="vertical-align:top; border:1px solid #DCDCDC; padding: 5px"><i>datetime</i></td> | ||
|
||
<td style="vertical-align:top; border:1px solid #DCDCDC; padding: 5px">datetime.datetime(2024, 3, 6, 17, 8, 27, tzinfo=tzoffset(None, 3600))</td> | ||
<td style="vertical-align:top; border:1px solid #DCDCDC; padding: 5px">datetime.datetime(2024, 4, 16, 13, 33, 32, tzinfo=tzoffset(None, 7200))</td> | ||
|
||
</tr> | ||
|
||
|
@@ -1555,7 +1555,7 @@ <h2 id="git-information">Git Information<a class="headerlink" href="#git-informa | |
|
||
<td style="vertical-align:top; border:1px solid #DCDCDC; padding: 5px"><i>str</i></td> | ||
|
||
<td style="vertical-align:top; border:1px solid #DCDCDC; padding: 5px">'fb682a2'</td> | ||
<td style="vertical-align:top; border:1px solid #DCDCDC; padding: 5px">'4de8129'</td> | ||
|
||
</tr> | ||
|
||
|
@@ -1565,7 +1565,7 @@ <h2 id="git-information">Git Information<a class="headerlink" href="#git-informa | |
|
||
<td style="vertical-align:top; border:1px solid #DCDCDC; padding: 5px"><i>str</i></td> | ||
|
||
<td style="vertical-align:top; border:1px solid #DCDCDC; padding: 5px">'fb682a2aa7e9f8ed67c96b48f4d6ae213e400b45'</td> | ||
<td style="vertical-align:top; border:1px solid #DCDCDC; padding: 5px">'4de81293ddd7417067f6d8bc63893739d3e5bf5c'</td> | ||
|
||
</tr> | ||
|
||
|
@@ -1585,7 +1585,7 @@ <h2 id="git-information">Git Information<a class="headerlink" href="#git-informa | |
|
||
<td style="vertical-align:top; border:1px solid #DCDCDC; padding: 5px"><i>str</i></td> | ||
|
||
<td style="vertical-align:top; border:1px solid #DCDCDC; padding: 5px">'Jeff Smits'</td> | ||
<td style="vertical-align:top; border:1px solid #DCDCDC; padding: 5px">'Daniel A. A. Pelsmaeker'</td> | ||
|
||
</tr> | ||
|
||
|
@@ -1595,7 +1595,7 @@ <h2 id="git-information">Git Information<a class="headerlink" href="#git-informa | |
|
||
<td style="vertical-align:top; border:1px solid #DCDCDC; padding: 5px"><i>str</i></td> | ||
|
||
<td style="vertical-align:top; border:1px solid #DCDCDC; padding: 5px">'[email protected]'</td> | ||
<td style="vertical-align:top; border:1px solid #DCDCDC; padding: 5px">'[email protected]'</td> | ||
|
||
</tr> | ||
|
||
|
@@ -1605,7 +1605,7 @@ <h2 id="git-information">Git Information<a class="headerlink" href="#git-informa | |
|
||
<td style="vertical-align:top; border:1px solid #DCDCDC; padding: 5px"><i>str</i></td> | ||
|
||
<td style="vertical-align:top; border:1px solid #DCDCDC; padding: 5px">'Jeff Smits'</td> | ||
<td style="vertical-align:top; border:1px solid #DCDCDC; padding: 5px">'Daniel A. A. Pelsmaeker'</td> | ||
|
||
</tr> | ||
|
||
|
@@ -1615,7 +1615,7 @@ <h2 id="git-information">Git Information<a class="headerlink" href="#git-informa | |
|
||
<td style="vertical-align:top; border:1px solid #DCDCDC; padding: 5px"><i>str</i></td> | ||
|
||
<td style="vertical-align:top; border:1px solid #DCDCDC; padding: 5px">'[email protected]'</td> | ||
<td style="vertical-align:top; border:1px solid #DCDCDC; padding: 5px">'[email protected]'</td> | ||
|
||
</tr> | ||
|
||
|
@@ -1625,7 +1625,7 @@ <h2 id="git-information">Git Information<a class="headerlink" href="#git-informa | |
|
||
<td style="vertical-align:top; border:1px solid #DCDCDC; padding: 5px"><i>str</i></td> | ||
|
||
<td style="vertical-align:top; border:1px solid #DCDCDC; padding: 5px">'Wed Mar 6 17:08:27 2024 +0100'</td> | ||
<td style="vertical-align:top; border:1px solid #DCDCDC; padding: 5px">'Tue Apr 16 13:33:32 2024 +0200'</td> | ||
|
||
</tr> | ||
|
||
|
@@ -1635,7 +1635,7 @@ <h2 id="git-information">Git Information<a class="headerlink" href="#git-informa | |
|
||
<td style="vertical-align:top; border:1px solid #DCDCDC; padding: 5px"><i>str</i></td> | ||
|
||
<td style="vertical-align:top; border:1px solid #DCDCDC; padding: 5px">'Remove 0.19.5 from docs, that release never built successfully on the buildfarm'</td> | ||
<td style="vertical-align:top; border:1px solid #DCDCDC; padding: 5px">'Allow duplicates'</td> | ||
|
||
</tr> | ||
|
||
|
@@ -1645,7 +1645,7 @@ <h2 id="git-information">Git Information<a class="headerlink" href="#git-informa | |
|
||
<td style="vertical-align:top; border:1px solid #DCDCDC; padding: 5px"><i>str</i></td> | ||
|
||
<td style="vertical-align:top; border:1px solid #DCDCDC; padding: 5px">'commit fb682a2aa7e9f8ed67c96b48f4d6ae213e400b45\nAuthor: Jeff Smits <j[email protected]>\nDate: Wed Mar 6 17:08:27 2024 +0100\n\n Remove 0.19.5 from docs, that release never built successfully on the buildfarm'</td> | ||
<td style="vertical-align:top; border:1px solid #DCDCDC; padding: 5px">'commit 4de81293ddd7417067f6d8bc63893739d3e5bf5c\nAuthor: Daniel A. A. Pelsmaeker <developer@pelsmaeker.net>\nDate: Tue Apr 16 13:33:32 2024 +0200\n\n Allow duplicates'</td> | ||
|
||
</tr> | ||
|
||
|
@@ -1751,7 +1751,7 @@ <h2 id="page-attributes">Page Attributes<a class="headerlink" href="#page-attrib | |
|
||
<td style="vertical-align:top; border:1px solid #DCDCDC; padding: 5px"><i>str</i></td> | ||
|
||
<td style="vertical-align:top; border:1px solid #DCDCDC; padding: 5px">'2024-03-06'</td> | ||
<td style="vertical-align:top; border:1px solid #DCDCDC; padding: 5px">'2024-04-16'</td> | ||
|
||
</tr> | ||
|
||
|
Large diffs are not rendered by default.
Oops, something went wrong.
Oops, something went wrong.