Skip to content

Commit

Permalink
deploy: 0d9c72d
Browse files Browse the repository at this point in the history
  • Loading branch information
@AZWN
AZWN committed Oct 4, 2023
1 parent efce54e commit c0aefd2
Show file tree
Hide file tree
Showing 5 changed files with 44 additions and 44 deletions.
Binary file modified develop/__pycache__/macro.cpython-38.pyc
View file
Binary file not shown.
32 changes: 16 additions & 16 deletions develop/info/index.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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 0x7f29421d2550>, 'emoji_generator': <function to_svg at 0x7f29421d2700>}, '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 0x7f294172e130>), ('macros', <mkdocs_macros.plugin.MacrosPlugin object at 0x7f294172eb80>), ('git-revision-date', <mkdocs_git_revision_date_plugin.plugin.GitRevisionDatePlugin object at 0x7f294172e9a0>)]), '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 0x7fcd28a36550>, 'emoji_generator': <function to_svg at 0x7fcd28a36700>}, '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 0x7fcd27f91130>), ('macros', <mkdocs_macros.plugin.MacrosPlugin object at 0x7fcd27f91b80>), ('git-revision-date', <mkdocs_git_revision_date_plugin.plugin.GitRevisionDatePlugin object at 0x7fcd27f919a0>)]), 'hooks': {}, 'watch': []}</td>

</tr>

Expand All @@ -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.2.0-1011-azure', python_version = '3.8.18', mkdocs_version = '1.4.0', macros_plugin_version = '0.7.0', jinja2_version = '3.1.2'</td>
<td style="vertical-align:top; border:1px solid #DCDCDC; padding: 5px">system = 'Linux', system_version = '6.2.0-1012-azure', python_version = '3.8.18', mkdocs_version = '1.4.0', macros_plugin_version = '0.7.0', jinja2_version = '3.1.2'</td>

</tr>

Expand All @@ -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 = '691785d', commit = '691785dd5b9e5ca3cf21eb5856f385ab104388bb', tag = '', author = 'Aron Zwaan', author_email = 'aronzwaan@gmail.com', committer = 'Aron Zwaan', committer_email = 'aronzwaan@gmail.com', date_ISO = 'Fri Sep 22 15:26:44 2023 +0200', message = 'Add missing compileLanguage dependency', raw = 'commit 691785dd5b9e5ca3cf21eb5856f385ab104388bb\nAuthor: Aron Zwaan <aronzwaan@gmail.com>\nDate: Fri Sep 22 15:26:44 2023 +0200\n\n Add missing compileLanguage dependency', 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 = '0d9c72d', commit = '0d9c72d63e2dc2e5d0c7844e90e10819a6109514', tag = '', author = 'A.S. Zwaan', author_email = '[email protected].com', committer = 'GitHub', committer_email = 'noreply@github.com', date_ISO = 'Wed Oct 4 17:22:18 2023 +0200', message = 'Add missing Statix property primitives', raw = 'commit 0d9c72d63e2dc2e5d0c7844e90e10819a6109514\nAuthor: A.S. Zwaan <AZWN@users.noreply.github.com>\nDate: Wed Oct 4 17:22:18 2023 +0200\n\n Add missing Statix property primitives', root_dir = '/home/runner/work/spoofax-pie/spoofax-pie'</td>

</tr>

Expand Down Expand Up @@ -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 0x7f2942dc9e50></td>
<td style="vertical-align:top; border:1px solid #DCDCDC; padding: 5px"><mkdocs.structure.files.Files object at 0x7fcd29622cd0></td>

</tr>

Expand Down Expand Up @@ -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>

Expand Down Expand Up @@ -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(2023, 9, 22, 15, 26, 44, tzinfo=tzoffset(None, 7200))</td>
<td style="vertical-align:top; border:1px solid #DCDCDC; padding: 5px">datetime.datetime(2023, 10, 4, 17, 22, 18, tzinfo=tzoffset(None, 7200))</td>

</tr>

Expand All @@ -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">'691785d'</td>
<td style="vertical-align:top; border:1px solid #DCDCDC; padding: 5px">'0d9c72d'</td>

</tr>

Expand All @@ -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">'691785dd5b9e5ca3cf21eb5856f385ab104388bb'</td>
<td style="vertical-align:top; border:1px solid #DCDCDC; padding: 5px">'0d9c72d63e2dc2e5d0c7844e90e10819a6109514'</td>

</tr>

Expand All @@ -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">'Aron Zwaan'</td>
<td style="vertical-align:top; border:1px solid #DCDCDC; padding: 5px">'A.S. Zwaan'</td>

</tr>

Expand All @@ -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">'aronzwaan@gmail.com'</td>
<td style="vertical-align:top; border:1px solid #DCDCDC; padding: 5px">'[email protected].com'</td>

</tr>

Expand All @@ -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">'Aron Zwaan'</td>
<td style="vertical-align:top; border:1px solid #DCDCDC; padding: 5px">'GitHub'</td>

</tr>

Expand All @@ -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">'aronzwaan@gmail.com'</td>
<td style="vertical-align:top; border:1px solid #DCDCDC; padding: 5px">'noreply@github.com'</td>

</tr>

Expand All @@ -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">'Fri Sep 22 15:26:44 2023 +0200'</td>
<td style="vertical-align:top; border:1px solid #DCDCDC; padding: 5px">'Wed Oct 4 17:22:18 2023 +0200'</td>

</tr>

Expand All @@ -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">'Add missing compileLanguage dependency'</td>
<td style="vertical-align:top; border:1px solid #DCDCDC; padding: 5px">'Add missing Statix property primitives'</td>

</tr>

Expand All @@ -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 691785dd5b9e5ca3cf21eb5856f385ab104388bb\nAuthor: Aron Zwaan <aronzwaan@gmail.com>\nDate: Fri Sep 22 15:26:44 2023 +0200\n\n Add missing compileLanguage dependency'</td>
<td style="vertical-align:top; border:1px solid #DCDCDC; padding: 5px">'commit 0d9c72d63e2dc2e5d0c7844e90e10819a6109514\nAuthor: A.S. Zwaan <AZWN@users.noreply.github.com>\nDate: Wed Oct 4 17:22:18 2023 +0200\n\n Add missing Statix property primitives'</td>

</tr>

Expand Down Expand Up @@ -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">'2023-09-22'</td>
<td style="vertical-align:top; border:1px solid #DCDCDC; padding: 5px">'2023-10-04'</td>

</tr>

Expand Down
2 changes: 1 addition & 1 deletion develop/search/search_index.json
View file

Large diffs are not rendered by default.

Loading

0 comments on commit c0aefd2

Please sign in to comment.