Use reusable GitHub workflow

metaborg · May 24, 2024 · 011dadb · 011dadb
1 parent aeb2c7a
commit 011dadb
Show file tree

Hide file tree

Showing 2 changed files with 10 additions and 35 deletions.
diff --git a/.github/workflows/build.yaml b/.github/workflows/build.yaml
@@ -0,0 +1,10 @@
+---
+name: Build
+
+on:  # yamllint disable-line rule:truthy
+  push: {}
+  pull_request: {}
+
+jobs:
+  build:
+    uses: metaborg/workflows/.github/workflows/gradle-build-matrix.yaml@main
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml