Merge branch 'main' of github.com:philterd/phileas

philterd · Nov 21, 2024 · 09de3b8 · 09de3b8
2 parents 6f35fac + 1ef5382
commit 09de3b8
Show file tree

Hide file tree

Showing 2 changed files with 18 additions and 1 deletion.
diff --git a/.github/workflows/benchmarks.yml b/.github/workflows/benchmarks.yml
@@ -0,0 +1,17 @@
+name: Benchmarks
+on: [workflow_dispatch]
+jobs:
+  build:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v4
+        with:
+          lfs: true
+      - name: Set up JDK 21
+        uses: actions/setup-java@v4
+        with:
+          distribution: adopt
+          java-version: 21
+          cache: maven
+      - name: Build
+        run: BENCHMARKS_ENABLED=true BENCHMARKS_CONNECTION_STRING="${{ secrets.BENCHMARKS_CONNECTION_STRING }}" BENCHMARKS_USER="${{ secrets.BENCHMARKS_USER }}" BENCHMARKS_PASSWORD="${{ secrets.BENCHMARKS_PASSWORD }}" mvn test
diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
@@ -1,4 +1,4 @@
-name: docs
+name: Documentation
 on:
   push:
     branches: