Deploy website - based on abcc0e5

scalameta · Oct 1, 2023 · 1998c15 · 1998c15
1 parent 07ab328
commit 1998c15
Show file tree

Hide file tree

Showing 160 changed files with 908 additions and 908 deletions.
diff --git a/404.html b/404.html
@@ -1,17 +1,17 @@
 <!doctype html>
-<html lang="en" dir="ltr" class="plugin-native plugin-id-default">
+<html lang="en" dir="ltr" class="plugin-native plugin-id-default" data-has-hydrated="false">
 <head>
 <meta charset="UTF-8">
-<meta name="generator" content="Docusaurus v2.4.1">
+<meta name="generator" content="Docusaurus v2.4.3">
 <title data-rh="true">Page Not Found | Metals</title><meta data-rh="true" name="viewport" content="width=device-width,initial-scale=1"><meta data-rh="true" name="twitter:card" content="summary_large_image"><meta data-rh="true" property="og:image" content="http://scalameta.org/metals/img/scalameta-logo.png"><meta data-rh="true" name="twitter:image" content="http://scalameta.org/metals/img/scalameta-logo.png"><meta data-rh="true" property="og:url" content="http://scalameta.org/metals/404.html"><meta data-rh="true" name="docusaurus_locale" content="en"><meta data-rh="true" name="docusaurus_tag" content="default"><meta data-rh="true" name="docsearch:language" content="en"><meta data-rh="true" name="docsearch:docusaurus_tag" content="default"><meta data-rh="true" property="og:title" content="Page Not Found | Metals"><link data-rh="true" rel="icon" href="/metals/img/favicon.ico"><link data-rh="true" rel="canonical" href="http://scalameta.org/metals/404.html"><link data-rh="true" rel="alternate" href="http://scalameta.org/metals/404.html" hreflang="en"><link data-rh="true" rel="alternate" href="http://scalameta.org/metals/404.html" hreflang="x-default"><link rel="alternate" type="application/rss+xml" href="/metals/blog/rss.xml" title="Metals RSS Feed">
 <link rel="alternate" type="application/atom+xml" href="/metals/blog/atom.xml" title="Metals Atom Feed">
 
 <link rel="preconnect" href="https://www.google-analytics.com">
 <link rel="preconnect" href="https://www.googletagmanager.com">
 <script async src="https://www.googletagmanager.com/gtag/js?id=UA-140140828-1"></script>
 <script>function gtag(){dataLayer.push(arguments)}window.dataLayer=window.dataLayer||[],gtag("js",new Date),gtag("config","UA-140140828-1",{})</script><link rel="stylesheet" href="/metals/assets/css/styles.54a478bb.css">
-<link rel="preload" href="/metals/assets/js/runtime~main.a81b30a0.js" as="script">
-<link rel="preload" href="/metals/assets/js/main.bec7de45.js" as="script">
+<link rel="preload" href="/metals/assets/js/runtime~main.a648ce1d.js" as="script">
+<link rel="preload" href="/metals/assets/js/main.c97ce4ac.js" as="script">
 </head>
 <body class="navigation-with-keyboard">
 <script>!function(){function e(e){document.documentElement.setAttribute("data-theme",e)}var t=function(){var e=null;try{e=new URLSearchParams(window.location.search).get("docusaurus-theme")}catch(e){}return e}()||function(){var e=null;try{e=localStorage.getItem("theme")}catch(e){}return e}();null!==t?e(t):window.matchMedia("(prefers-color-scheme: dark)").matches?e("dark"):(window.matchMedia("(prefers-color-scheme: light)").matches,e("light"))}()</script><div id="__docusaurus">
@@ -22,7 +22,7 @@
                     </a></li><li class="footer__item"><a href="https://twitter.com/scalameta" target="_blank">
                       <img src="https://img.shields.io/twitter/follow/scalameta.svg?logo=twitter&style=social">
                     </a></li></ul></div></div><div class="footer__bottom text--center"><div class="margin-bottom--sm"><img src="/metals/img/scalameta-logo.png" class="themedImage_ToTc themedImage--light_HNdA footer__logo"><img src="/metals/img/scalameta-logo.png" class="themedImage_ToTc themedImage--dark_i4oU footer__logo"></div><div class="footer__copyright">Copyright © 2023 Metals</div></div></div></footer></div>
-<script src="/metals/assets/js/runtime~main.a81b30a0.js"></script>
-<script src="/metals/assets/js/main.bec7de45.js"></script>
+<script src="/metals/assets/js/runtime~main.a648ce1d.js"></script>
+<script src="/metals/assets/js/main.c97ce4ac.js"></script>
 </body>
 </html>
diff --git a/assets/js/49773175.6dabd148.js → assets/js/49773175.c4af849a.js b/assets/js/49773175.6dabd148.js → assets/js/49773175.c4af849a.js
diff --git a/assets/js/6048.96f00dfa.js → assets/js/6048.da11638e.js b/assets/js/6048.96f00dfa.js → assets/js/6048.da11638e.js
diff --git a/assets/js/8a0b8ece.274c5da6.js → assets/js/8a0b8ece.ebbea43f.js b/assets/js/8a0b8ece.274c5da6.js → assets/js/8a0b8ece.ebbea43f.js
diff --git a/assets/js/970a5f4e.3ff18fe3.js → assets/js/970a5f4e.ff83099d.js b/assets/js/970a5f4e.3ff18fe3.js → assets/js/970a5f4e.ff83099d.js
diff --git a/assets/js/9b4a23be.38b6aaa2.js → assets/js/9b4a23be.c05a2494.js b/assets/js/9b4a23be.38b6aaa2.js → assets/js/9b4a23be.c05a2494.js
diff --git a/assets/js/main.bec7de45.js b/assets/js/main.bec7de45.js
diff --git a/assets/js/main.c97ce4ac.js b/assets/js/main.c97ce4ac.js
diff --git a/assets/js/main.bec7de45.js.LICENSE.txt → assets/js/main.c97ce4ac.js.LICENSE.txt b/assets/js/main.bec7de45.js.LICENSE.txt → assets/js/main.c97ce4ac.js.LICENSE.txt
diff --git a/assets/js/runtime~main.a81b30a0.js → assets/js/runtime~main.a648ce1d.js b/assets/js/runtime~main.a81b30a0.js → assets/js/runtime~main.a648ce1d.js
diff --git a/blog/2018/12/06/iron/index.html b/blog/2018/12/06/iron/index.html
@@ -1,17 +1,17 @@
 <!doctype html>
-<html lang="en" dir="ltr" class="blog-wrapper blog-post-page plugin-blog plugin-id-default">
+<html lang="en" dir="ltr" class="blog-wrapper blog-post-page plugin-blog plugin-id-default" data-has-hydrated="false">
 <head>
 <meta charset="UTF-8">
-<meta name="generator" content="Docusaurus v2.4.1">
+<meta name="generator" content="Docusaurus v2.4.3">
 <title data-rh="true">Metals v0.3 - Iron | Metals</title><meta data-rh="true" name="viewport" content="width=device-width,initial-scale=1"><meta data-rh="true" name="twitter:card" content="summary_large_image"><meta data-rh="true" property="og:image" content="http://scalameta.org/metals/img/scalameta-logo.png"><meta data-rh="true" name="twitter:image" content="http://scalameta.org/metals/img/scalameta-logo.png"><meta data-rh="true" property="og:url" content="http://scalameta.org/metals/blog/2018/12/06/iron"><meta data-rh="true" name="docusaurus_locale" content="en"><meta data-rh="true" name="docusaurus_tag" content="default"><meta data-rh="true" name="docsearch:language" content="en"><meta data-rh="true" name="docsearch:docusaurus_tag" content="default"><meta data-rh="true" property="og:title" content="Metals v0.3 - Iron | Metals"><meta data-rh="true" name="description" content="We are excited to announce the release of Metals v0.3, codename &quot;Iron&quot; 🎉 Metals"><meta data-rh="true" property="og:description" content="We are excited to announce the release of Metals v0.3, codename &quot;Iron&quot; 🎉 Metals"><meta data-rh="true" property="og:type" content="article"><meta data-rh="true" property="article:published_time" content="2018-12-06T00:00:00.000Z"><meta data-rh="true" property="article:author" content="https://twitter.com/olafurpg"><link data-rh="true" rel="icon" href="/metals/img/favicon.ico"><link data-rh="true" rel="canonical" href="http://scalameta.org/metals/blog/2018/12/06/iron"><link data-rh="true" rel="alternate" href="http://scalameta.org/metals/blog/2018/12/06/iron" hreflang="en"><link data-rh="true" rel="alternate" href="http://scalameta.org/metals/blog/2018/12/06/iron" hreflang="x-default"><link rel="alternate" type="application/rss+xml" href="/metals/blog/rss.xml" title="Metals RSS Feed">
 <link rel="alternate" type="application/atom+xml" href="/metals/blog/atom.xml" title="Metals Atom Feed">
 
 <link rel="preconnect" href="https://www.google-analytics.com">
 <link rel="preconnect" href="https://www.googletagmanager.com">
 <script async src="https://www.googletagmanager.com/gtag/js?id=UA-140140828-1"></script>
 <script>function gtag(){dataLayer.push(arguments)}window.dataLayer=window.dataLayer||[],gtag("js",new Date),gtag("config","UA-140140828-1",{})</script><link rel="stylesheet" href="/metals/assets/css/styles.54a478bb.css">
-<link rel="preload" href="/metals/assets/js/runtime~main.a81b30a0.js" as="script">
-<link rel="preload" href="/metals/assets/js/main.bec7de45.js" as="script">
+<link rel="preload" href="/metals/assets/js/runtime~main.a648ce1d.js" as="script">
+<link rel="preload" href="/metals/assets/js/main.c97ce4ac.js" as="script">
 </head>
 <body class="navigation-with-keyboard">
 <script>!function(){function e(e){document.documentElement.setAttribute("data-theme",e)}var t=function(){var e=null;try{e=new URLSearchParams(window.location.search).get("docusaurus-theme")}catch(e){}return e}()||function(){var e=null;try{e=localStorage.getItem("theme")}catch(e){}return e}();null!==t?e(t):window.matchMedia("(prefers-color-scheme: dark)").matches?e("dark"):(window.matchMedia("(prefers-color-scheme: light)").matches,e("light"))}()</script><div id="__docusaurus">
@@ -44,7 +44,7 @@
                     </a></li><li class="footer__item"><a href="https://twitter.com/scalameta" target="_blank">
                       <img src="https://img.shields.io/twitter/follow/scalameta.svg?logo=twitter&style=social">
                     </a></li></ul></div></div><div class="footer__bottom text--center"><div class="margin-bottom--sm"><img src="/metals/img/scalameta-logo.png" class="themedImage_ToTc themedImage--light_HNdA footer__logo"><img src="/metals/img/scalameta-logo.png" class="themedImage_ToTc themedImage--dark_i4oU footer__logo"></div><div class="footer__copyright">Copyright © 2023 Metals</div></div></div></footer></div>
-<script src="/metals/assets/js/runtime~main.a81b30a0.js"></script>
-<script src="/metals/assets/js/main.bec7de45.js"></script>
+<script src="/metals/assets/js/runtime~main.a648ce1d.js"></script>
+<script src="/metals/assets/js/main.c97ce4ac.js"></script>
 </body>
 </html>
diff --git a/blog/2018/12/12/fast-goto-definition/index.html b/blog/2018/12/12/fast-goto-definition/index.html
@@ -1,17 +1,17 @@
 <!doctype html>
-<html lang="en" dir="ltr" class="blog-wrapper blog-post-page plugin-blog plugin-id-default">
+<html lang="en" dir="ltr" class="blog-wrapper blog-post-page plugin-blog plugin-id-default" data-has-hydrated="false">
 <head>
 <meta charset="UTF-8">
-<meta name="generator" content="Docusaurus v2.4.1">
+<meta name="generator" content="Docusaurus v2.4.3">
 <title data-rh="true">Fast goto definition with low memory footprint | Metals</title><meta data-rh="true" name="viewport" content="width=device-width,initial-scale=1"><meta data-rh="true" name="twitter:card" content="summary_large_image"><meta data-rh="true" property="og:image" content="http://scalameta.org/metals/img/scalameta-logo.png"><meta data-rh="true" name="twitter:image" content="http://scalameta.org/metals/img/scalameta-logo.png"><meta data-rh="true" property="og:url" content="http://scalameta.org/metals/blog/2018/12/12/fast-goto-definition"><meta data-rh="true" name="docusaurus_locale" content="en"><meta data-rh="true" name="docusaurus_tag" content="default"><meta data-rh="true" name="docsearch:language" content="en"><meta data-rh="true" name="docsearch:docusaurus_tag" content="default"><meta data-rh="true" property="og:title" content="Fast goto definition with low memory footprint | Metals"><meta data-rh="true" name="description" content="Metals throws away its navigation index when it shuts down. Next time it starts,"><meta data-rh="true" property="og:description" content="Metals throws away its navigation index when it shuts down. Next time it starts,"><meta data-rh="true" property="og:type" content="article"><meta data-rh="true" property="article:published_time" content="2018-12-12T00:00:00.000Z"><meta data-rh="true" property="article:author" content="https://twitter.com/olafurpg"><link data-rh="true" rel="icon" href="/metals/img/favicon.ico"><link data-rh="true" rel="canonical" href="http://scalameta.org/metals/blog/2018/12/12/fast-goto-definition"><link data-rh="true" rel="alternate" href="http://scalameta.org/metals/blog/2018/12/12/fast-goto-definition" hreflang="en"><link data-rh="true" rel="alternate" href="http://scalameta.org/metals/blog/2018/12/12/fast-goto-definition" hreflang="x-default"><link rel="alternate" type="application/rss+xml" href="/metals/blog/rss.xml" title="Metals RSS Feed">
 <link rel="alternate" type="application/atom+xml" href="/metals/blog/atom.xml" title="Metals Atom Feed">
 
 <link rel="preconnect" href="https://www.google-analytics.com">
 <link rel="preconnect" href="https://www.googletagmanager.com">
 <script async src="https://www.googletagmanager.com/gtag/js?id=UA-140140828-1"></script>
 <script>function gtag(){dataLayer.push(arguments)}window.dataLayer=window.dataLayer||[],gtag("js",new Date),gtag("config","UA-140140828-1",{})</script><link rel="stylesheet" href="/metals/assets/css/styles.54a478bb.css">
-<link rel="preload" href="/metals/assets/js/runtime~main.a81b30a0.js" as="script">
-<link rel="preload" href="/metals/assets/js/main.bec7de45.js" as="script">
+<link rel="preload" href="/metals/assets/js/runtime~main.a648ce1d.js" as="script">
+<link rel="preload" href="/metals/assets/js/main.c97ce4ac.js" as="script">
 </head>
 <body class="navigation-with-keyboard">
 <script>!function(){function e(e){document.documentElement.setAttribute("data-theme",e)}var t=function(){var e=null;try{e=new URLSearchParams(window.location.search).get("docusaurus-theme")}catch(e){}return e}()||function(){var e=null;try{e=localStorage.getItem("theme")}catch(e){}return e}();null!==t?e(t):window.matchMedia("(prefers-color-scheme: dark)").matches?e("dark"):(window.matchMedia("(prefers-color-scheme: light)").matches,e("light"))}()</script><div id="__docusaurus">
@@ -106,7 +106,7 @@
                     </a></li><li class="footer__item"><a href="https://twitter.com/scalameta" target="_blank">
                       <img src="https://img.shields.io/twitter/follow/scalameta.svg?logo=twitter&style=social">
                     </a></li></ul></div></div><div class="footer__bottom text--center"><div class="margin-bottom--sm"><img src="/metals/img/scalameta-logo.png" class="themedImage_ToTc themedImage--light_HNdA footer__logo"><img src="/metals/img/scalameta-logo.png" class="themedImage_ToTc themedImage--dark_i4oU footer__logo"></div><div class="footer__copyright">Copyright © 2023 Metals</div></div></div></footer></div>
-<script src="/metals/assets/js/runtime~main.a81b30a0.js"></script>
-<script src="/metals/assets/js/main.bec7de45.js"></script>
+<script src="/metals/assets/js/runtime~main.a648ce1d.js"></script>
+<script src="/metals/assets/js/main.c97ce4ac.js"></script>
 </body>
 </html>
diff --git a/blog/2018/12/14/iron/index.html b/blog/2018/12/14/iron/index.html
@@ -1,17 +1,17 @@
 <!doctype html>
-<html lang="en" dir="ltr" class="blog-wrapper blog-post-page plugin-blog plugin-id-default">
+<html lang="en" dir="ltr" class="blog-wrapper blog-post-page plugin-blog plugin-id-default" data-has-hydrated="false">
 <head>
 <meta charset="UTF-8">
-<meta name="generator" content="Docusaurus v2.4.1">
+<meta name="generator" content="Docusaurus v2.4.3">
 <title data-rh="true">Metals v0.3.2 - Iron | Metals</title><meta data-rh="true" name="viewport" content="width=device-width,initial-scale=1"><meta data-rh="true" name="twitter:card" content="summary_large_image"><meta data-rh="true" property="og:image" content="http://scalameta.org/metals/img/scalameta-logo.png"><meta data-rh="true" name="twitter:image" content="http://scalameta.org/metals/img/scalameta-logo.png"><meta data-rh="true" property="og:url" content="http://scalameta.org/metals/blog/2018/12/14/iron"><meta data-rh="true" name="docusaurus_locale" content="en"><meta data-rh="true" name="docusaurus_tag" content="default"><meta data-rh="true" name="docsearch:language" content="en"><meta data-rh="true" name="docsearch:docusaurus_tag" content="default"><meta data-rh="true" property="og:title" content="Metals v0.3.2 - Iron | Metals"><meta data-rh="true" name="description" content="We are pleased to announce the release of Metals v0.3.2. Metals is a language"><meta data-rh="true" property="og:description" content="We are pleased to announce the release of Metals v0.3.2. Metals is a language"><meta data-rh="true" property="og:type" content="article"><meta data-rh="true" property="article:published_time" content="2018-12-14T00:00:00.000Z"><meta data-rh="true" property="article:author" content="https://twitter.com/olafurpg"><link data-rh="true" rel="icon" href="/metals/img/favicon.ico"><link data-rh="true" rel="canonical" href="http://scalameta.org/metals/blog/2018/12/14/iron"><link data-rh="true" rel="alternate" href="http://scalameta.org/metals/blog/2018/12/14/iron" hreflang="en"><link data-rh="true" rel="alternate" href="http://scalameta.org/metals/blog/2018/12/14/iron" hreflang="x-default"><link rel="alternate" type="application/rss+xml" href="/metals/blog/rss.xml" title="Metals RSS Feed">
 <link rel="alternate" type="application/atom+xml" href="/metals/blog/atom.xml" title="Metals Atom Feed">
 
 <link rel="preconnect" href="https://www.google-analytics.com">
 <link rel="preconnect" href="https://www.googletagmanager.com">
 <script async src="https://www.googletagmanager.com/gtag/js?id=UA-140140828-1"></script>
 <script>function gtag(){dataLayer.push(arguments)}window.dataLayer=window.dataLayer||[],gtag("js",new Date),gtag("config","UA-140140828-1",{})</script><link rel="stylesheet" href="/metals/assets/css/styles.54a478bb.css">
-<link rel="preload" href="/metals/assets/js/runtime~main.a81b30a0.js" as="script">
-<link rel="preload" href="/metals/assets/js/main.bec7de45.js" as="script">
+<link rel="preload" href="/metals/assets/js/runtime~main.a648ce1d.js" as="script">
+<link rel="preload" href="/metals/assets/js/main.c97ce4ac.js" as="script">
 </head>
 <body class="navigation-with-keyboard">
 <script>!function(){function e(e){document.documentElement.setAttribute("data-theme",e)}var t=function(){var e=null;try{e=new URLSearchParams(window.location.search).get("docusaurus-theme")}catch(e){}return e}()||function(){var e=null;try{e=localStorage.getItem("theme")}catch(e){}return e}();null!==t?e(t):window.matchMedia("(prefers-color-scheme: dark)").matches?e("dark"):(window.matchMedia("(prefers-color-scheme: light)").matches,e("light"))}()</script><div id="__docusaurus">
@@ -41,7 +41,7 @@
                     </a></li><li class="footer__item"><a href="https://twitter.com/scalameta" target="_blank">
                       <img src="https://img.shields.io/twitter/follow/scalameta.svg?logo=twitter&style=social">
                     </a></li></ul></div></div><div class="footer__bottom text--center"><div class="margin-bottom--sm"><img src="/metals/img/scalameta-logo.png" class="themedImage_ToTc themedImage--light_HNdA footer__logo"><img src="/metals/img/scalameta-logo.png" class="themedImage_ToTc themedImage--dark_i4oU footer__logo"></div><div class="footer__copyright">Copyright © 2023 Metals</div></div></div></footer></div>
-<script src="/metals/assets/js/runtime~main.a81b30a0.js"></script>
-<script src="/metals/assets/js/main.bec7de45.js"></script>
+<script src="/metals/assets/js/runtime~main.a648ce1d.js"></script>
+<script src="/metals/assets/js/main.c97ce4ac.js"></script>
 </body>
 </html>