Add script for running GitHub Actions pipeline locally using the act …

…tool

.github/workflows/ci.yml

@@ -32,6 +32,11 @@ jobs:
          #- "-profile klebsiella_pneumoniae"
          #- "-profile escherichia_coli"
     steps:
+      - name: Install Java
+        if: "${{ github.event.act }}"
+        run: |
+          apt-get update && sudo apt-get install -y openjdk-21-jre
+
       - name: Check out pipeline code
         uses: actions/checkout@v3
 

scripts/runci.sh

@@ -0,0 +1,14 @@
+#!/bin/bash
+# This script uses the act tool to execute GitHub Actions workflows locally
+# for increased iteration speed.
+# It requires the act [1] binary to be available in your path.
+# It also requires a late version of the GitHub commandline client (`gh`) [2]
+# to be installed and available on your path.
+# [1] https://github.com/nektos/act
+# [2] https://github.com/cli/cli
+act -v \
+    -s GITHUB_TOKEN="$(gh auth token)" \
+    -e event.json \
+    -P ubuntu-latest=catthehacker/ubuntu:act-latest \
+    -W .github/workflows/ci.yml \
+|& tee ci-output-$(date +%Y%m%d.%H%M%S).log