Adapt github workflow.

eurecom-s3 · Apr 6, 2024 · 63d1174 · 63d1174
1 parent f342794
commit 63d1174
Show file tree

Hide file tree

Showing 2 changed files with 12 additions and 13 deletions.
diff --git a/.dockerignore b/.dockerignore
@@ -1 +1,2 @@
 build
+.git
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -1,13 +1,11 @@
-on:
-  workflow_dispatch:
-  push:
-  pull_request:
-
-jobs:
-  build-and-test:
-    runs-on: ubuntu-latest
-    steps:
-    - uses: actions/checkout@v4
-    - run: git submodule update --init --recursive subprojects/symcc-rt
-    - run: docker build -t symcc symcc
-    - run: docker build -t symqemu .
+on:
+  workflow_dispatch:
+  push:
+  pull_request:
+jobs:
+  build-and-test:
+    runs-on: ubuntu-latest
+    steps:
+    - uses: actions/checkout@v4
+    - run: git submodule update --init --recursive subprojects/symcc-rt
+    - run: docker build -t symqemu .