Use the devcontainer for the github action

.github/workflows/devcontainer.yml

@@ -0,0 +1,21 @@
+name: 'build' 
+on: # rebuild any PRs and main branch changes
+  pull_request:
+  push:
+    branches:
+      - main
+      - benchmarking
+
+jobs:
+  build:
+    runs-on: ubuntu-latest
+    steps:
+
+      - name: Checkout (GitHub)
+        uses: actions/checkout@v3
+
+      - name: Build and run dev container task
+        uses: devcontainers/[email protected]
+        with:
+          # Change this to be your CI task/script
+          runCmd: mvn --batch-mode --update-snapshots test