Migrate to Github Actions instead of CircleCI (#1039)

* Remove circleci * Updating docker file -> cache efficient * Updating Github Workflows * Remove secrets from PR workflow * npm ci * Add ability to choise tag and platforms to build * Update apt index before install * Update apt index before install Co-authored-by: Pierre-Gilles Leymarie <pierregilles.leymarie@gmail.com>
GladysAssistant · Jan 25, 2021 · 65789bd · 65789bd
1 parent 33aeb5e
commit 65789bd
Show file tree

Hide file tree

Showing 8 changed files with 461 additions and 477 deletions.
diff --git a/.circleci/build-image.sh b/.circleci/build-image.sh
diff --git a/.circleci/config.yml b/.circleci/config.yml
diff --git a/.circleci/load_env.sh b/.circleci/load_env.sh
diff --git a/.dockerignore b/.dockerignore
@@ -19,4 +19,6 @@ npm-debug.log
 node.d.ts
 .git
 .npmrc
-docker
+docker
+front/build
+.github
-Original file line number
+Diff line change
@@ Expand Up / @@ -19,4 +19,6 @@ npm-debug.log @@
     node.d.ts
     .git
     .npmrc
-    docker
+    docker
+    front/build
+    .github