-
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
39 additions
and
39 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=['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 0x7f1a292e3d30>, 'emoji_generator': <function to_svg at 0x7f1a292e7160>}, '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 0x7f1a28804430>), ('macros', <mkdocs_macros.plugin.MacrosPlugin object at 0x7f1a28804e80>), ('git-revision-date', <mkdocs_git_revision_date_plugin.plugin.GitRevisionDatePlugin object at 0x7f1a28804c10>)]), '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=['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 0x7fd535623d30>, 'emoji_generator': <function to_svg at 0x7fd535627160>}, '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 0x7fd534b44430>), ('macros', <mkdocs_macros.plugin.MacrosPlugin object at 0x7fd534b44e80>), ('git-revision-date', <mkdocs_git_revision_date_plugin.plugin.GitRevisionDatePlugin object at 0x7fd534b44c10>)]), 'hooks': {}, 'watch': []}</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 = '73ec285', commit = '73ec2858d2052b5b3102e4a07b421837daa7248c', tag = '', author = 'Daniel A. A. Pelsmaeker', author_email = '[email protected]', committer = 'Daniel A. A. Pelsmaeker', committer_email = '[email protected]', date_ISO = 'Tue May 7 15:32:11 2024 +0200', message = 'Update copyright year', raw = 'commit 73ec2858d2052b5b3102e4a07b421837daa7248c\nAuthor: Daniel A. A. Pelsmaeker <developer@pelsmaeker.net>\nDate: Tue May 7 15:32:11 2024 +0200\n\n Update copyright year', 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 = 'a66d7fc', commit = 'a66d7fcdf53080eb6f3f4fe9e72655c743f7b62f', tag = '', author = 'Daniel A. A. Pelsmaeker', author_email = '[email protected]', committer = 'Daniel A. A. Pelsmaeker', committer_email = '[email protected]', date_ISO = 'Wed May 8 14:18:24 2024 +0200', message = 'Also support Develocity plugin', raw = 'commit a66d7fcdf53080eb6f3f4fe9e72655c743f7b62f\nAuthor: Daniel A. A. Pelsmaeker <developer@pelsmaeker.net>\nDate: Wed May 8 14:18:24 2024 +0200\n\n Also support Develocity plugin', 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 0x7f1a2a1f2520></td> | ||
| <td style="vertical-align:top; border:1px solid #DCDCDC; padding: 5px"><mkdocs.structure.files.Files object at 0x7fd53652c520></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=['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> | ||
| <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> | ||
|
|
||
| </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, 5, 7, 15, 32, 11, tzinfo=tzoffset(None, 7200))</td> | ||
| <td style="vertical-align:top; border:1px solid #DCDCDC; padding: 5px">datetime.datetime(2024, 5, 8, 14, 18, 24, 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">'73ec285'</td> | ||
| <td style="vertical-align:top; border:1px solid #DCDCDC; padding: 5px">'a66d7fc'</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">'73ec2858d2052b5b3102e4a07b421837daa7248c'</td> | ||
| <td style="vertical-align:top; border:1px solid #DCDCDC; padding: 5px">'a66d7fcdf53080eb6f3f4fe9e72655c743f7b62f'</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">'Tue May 7 15:32:11 2024 +0200'</td> | ||
| <td style="vertical-align:top; border:1px solid #DCDCDC; padding: 5px">'Wed May 8 14:18:24 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">'Update copyright year'</td> | ||
| <td style="vertical-align:top; border:1px solid #DCDCDC; padding: 5px">'Also support Develocity plugin'</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 73ec2858d2052b5b3102e4a07b421837daa7248c\nAuthor: Daniel A. A. Pelsmaeker <developer@pelsmaeker.net>\nDate: Tue May 7 15:32:11 2024 +0200\n\n Update copyright year'</td> | ||
| <td style="vertical-align:top; border:1px solid #DCDCDC; padding: 5px">'commit a66d7fcdf53080eb6f3f4fe9e72655c743f7b62f\nAuthor: Daniel A. A. Pelsmaeker <developer@pelsmaeker.net>\nDate: Wed May 8 14:18:24 2024 +0200\n\n Also support Develocity plugin'</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-05-07'</td> | ||
| <td style="vertical-align:top; border:1px solid #DCDCDC; padding: 5px">'2024-05-08'</td> | ||
|
|
||
| </tr> | ||
|
|
||
|
|
||
Large diffs are not rendered by default.
Oops, something went wrong.
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
Binary file not shown.