github-deploy-action-haz3l-eval-filter-refactor

hazelgrove · Oct 18, 2023 · 80e5251 · 80e5251
1 parent 0d27c9f
commit 80e5251
Show file tree

Hide file tree

Showing 14 changed files with 89,616 additions and 0 deletions.
diff --git a/haz3l-eval-filter-refactor/dune b/haz3l-eval-filter-refactor/dune
@@ -0,0 +1,5 @@
+(rule
+ (copy ../main.bc.js hazel.js))
+
+(rule
+ (copy ../worker.bc.js worker.js))
diff --git a/haz3l-eval-filter-refactor/fonts/FiraCode-Bold.woff2 b/haz3l-eval-filter-refactor/fonts/FiraCode-Bold.woff2
diff --git a/haz3l-eval-filter-refactor/fonts/FiraCode-Regular.woff2 b/haz3l-eval-filter-refactor/fonts/FiraCode-Regular.woff2
diff --git a/haz3l-eval-filter-refactor/fonts/HelveticaNeue-Bold.woff2 b/haz3l-eval-filter-refactor/fonts/HelveticaNeue-Bold.woff2
diff --git a/haz3l-eval-filter-refactor/fonts/HelveticaNeue-Regular.woff2 b/haz3l-eval-filter-refactor/fonts/HelveticaNeue-Regular.woff2
diff --git a/haz3l-eval-filter-refactor/fonts/SourceCodePro-Black.otf.woff2 b/haz3l-eval-filter-refactor/fonts/SourceCodePro-Black.otf.woff2
diff --git a/haz3l-eval-filter-refactor/fonts/SourceCodePro-Bold.otf.woff2 b/haz3l-eval-filter-refactor/fonts/SourceCodePro-Bold.otf.woff2
diff --git a/haz3l-eval-filter-refactor/fonts/SourceCodePro-Regular.otf.woff2 b/haz3l-eval-filter-refactor/fonts/SourceCodePro-Regular.otf.woff2
diff --git a/haz3l-eval-filter-refactor/hazel.js b/haz3l-eval-filter-refactor/hazel.js
diff --git a/haz3l-eval-filter-refactor/img/hazelnut.svg b/haz3l-eval-filter-refactor/img/hazelnut.svg
diff --git a/haz3l-eval-filter-refactor/img/loading.gif b/haz3l-eval-filter-refactor/img/loading.gif
diff --git a/haz3l-eval-filter-refactor/index.html b/haz3l-eval-filter-refactor/index.html
@@ -0,0 +1,27 @@
+<!DOCTYPE html>
+<html lang="en" translate="no">
+  <head>
+    <meta charset="utf-8">
+    <meta http-equiv="X-UA-Compatible" content="IE=edge">
+    <meta name="viewport" content="width=device-width, initial-scale=1, shrink-to-fit=no">
+    <!-- The above 3 meta tags *must* come first in the head; any other head content must come *after* these tags -->
+
+    <title>hazel</title>
+    <link rel="stylesheet" href="style.css">
+    <link rel="icon" type="image/svg" href = "img/hazelnut.svg">
+  </head>
+
+  <body spellcheck="false">
+    <div id="container">
+      <div class="loading">
+        <div class="spinner">
+          <img width="100px" height="100px" src="img/loading.gif" />
+          <img class="spinner-nut" width="100px" height="100px" src="img/hazelnut.svg" />
+        </div>
+        loading
+      </div>
+    </div>
+  </body>
+
+  <script src="hazel.js"></script>
+</html>