Skip to content

Commit

Permalink
deploy: f0d6bd1
Browse files Browse the repository at this point in the history
  • Loading branch information
@AZWN
AZWN committed Feb 9, 2024
1 parent ee70344 commit ec09f6b
Show file tree
Hide file tree
Showing 4 changed files with 14 additions and 14 deletions.
Binary file modified develop/__pycache__/macro.cpython-38.pyc
View file
Binary file not shown.
26 changes: 13 additions & 13 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=['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 0x7f8d54d41550>, 'emoji_generator': <function to_svg at 0x7f8d54d41940>}, '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 0x7f8d542a68e0>), ('macros', <mkdocs_macros.plugin.MacrosPlugin object at 0x7f8d542a6f10>), ('git-revision-date', <mkdocs_git_revision_date_plugin.plugin.GitRevisionDatePlugin object at 0x7f8d542a64f0>)]), '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 0x7fbf2160c550>, 'emoji_generator': <function to_svg at 0x7fbf2160c940>}, '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 0x7fbf20b70940>), ('macros', <mkdocs_macros.plugin.MacrosPlugin object at 0x7fbf20b70fd0>), ('git-revision-date', <mkdocs_git_revision_date_plugin.plugin.GitRevisionDatePlugin object at 0x7fbf20b70550>)]), 'hooks': {}, 'watch': []}</td>

</tr>

Expand Down Expand Up @@ -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 = '3b1dadc', commit = '3b1dadc4fb9981cecfee66881dce6d7748420667', tag = '', author = 'Jeff Smits', author_email = '[email protected]', committer = 'Jeff Smits', committer_email = '[email protected]', date_ISO = 'Fri Feb 9 14:21:58 2024 +0100', message = 'Use releng 0.1.35', raw = 'commit 3b1dadc4fb9981cecfee66881dce6d7748420667\nAuthor: Jeff Smits <j[email protected]>\nDate: Fri Feb 9 14:21:58 2024 +0100\n\n Use releng 0.1.35', 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 = 'f0d6bd1', commit = 'f0d6bd1ae4e60e5a398276bc8782eaa90d3a91c0', tag = '', author = 'A.S. Zwaan', author_email = '[email protected]', committer = 'GitHub', committer_email = '[email protected]', date_ISO = 'Fri Feb 9 15:59:18 2024 +0100', message = 'Merge pull request #132 from metaborg/aml-release\n\nBugfixes in Command-line SPT `transform` expectation evaluation.', raw = 'commit f0d6bd1ae4e60e5a398276bc8782eaa90d3a91c0\nAuthor: A.S. Zwaan <AZWN@users.noreply.github.com>\nDate: Fri Feb 9 15:59:18 2024 +0100\n\n Merge pull request #132 from metaborg/aml-release\n \n Bugfixes in Command-line SPT `transform` expectation evaluation.', 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 0x7f8d55dfd9d0></td>
<td style="vertical-align:top; border:1px solid #DCDCDC; padding: 5px"><mkdocs.structure.files.Files object at 0x7fbf22700a30></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(2024, 2, 9, 14, 21, 58, tzinfo=tzoffset(None, 3600))</td>
<td style="vertical-align:top; border:1px solid #DCDCDC; padding: 5px">datetime.datetime(2024, 2, 9, 15, 59, 18, tzinfo=tzoffset(None, 3600))</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">'3b1dadc'</td>
<td style="vertical-align:top; border:1px solid #DCDCDC; padding: 5px">'f0d6bd1'</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">'3b1dadc4fb9981cecfee66881dce6d7748420667'</td>
<td style="vertical-align:top; border:1px solid #DCDCDC; padding: 5px">'f0d6bd1ae4e60e5a398276bc8782eaa90d3a91c0'</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">'Jeff Smits'</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">'[email protected]'</td>
<td style="vertical-align:top; border:1px solid #DCDCDC; padding: 5px">'[email protected]'</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">'Jeff Smits'</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">'[email protected]'</td>
<td style="vertical-align:top; border:1px solid #DCDCDC; padding: 5px">'[email protected]'</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 Feb 9 14:21:58 2024 +0100'</td>
<td style="vertical-align:top; border:1px solid #DCDCDC; padding: 5px">'Fri Feb 9 15:59:18 2024 +0100'</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">'Use releng 0.1.35'</td>
<td style="vertical-align:top; border:1px solid #DCDCDC; padding: 5px">'Merge pull request #132 from metaborg/aml-release\n\nBugfixes in Command-line SPT `transform` expectation evaluation.'</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 3b1dadc4fb9981cecfee66881dce6d7748420667\nAuthor: Jeff Smits <j[email protected]>\nDate: Fri Feb 9 14:21:58 2024 +0100\n\n Use releng 0.1.35'</td>
<td style="vertical-align:top; border:1px solid #DCDCDC; padding: 5px">'commit f0d6bd1ae4e60e5a398276bc8782eaa90d3a91c0\nAuthor: A.S. Zwaan <AZWN@users.noreply.github.com>\nDate: Fri Feb 9 15:59:18 2024 +0100\n\n Merge pull request #132 from metaborg/aml-release\n \n Bugfixes in Command-line SPT `transform` expectation evaluation.'</td>

</tr>

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

Large diffs are not rendered by default.

Binary file modified develop/sitemap.xml.gz
View file
Binary file not shown.

0 comments on commit ec09f6b

Please sign in to comment.