From 00a7eab0f86ee677fd70c673778f1b7c3618c67d Mon Sep 17 00:00:00 2001 From: Steven Rieder Date: Fri, 4 Jul 2025 10:42:50 +0200 Subject: [PATCH 1/2] Add action to build SeBa On every change to main (push or pull request), build SeBa to see if that still works. If not, the PR should not be merged / the push should be amended. --- .github/workflows/build.yml | 21 +++++++++++++++++++++ 1 file changed, 21 insertions(+) create mode 100644 .github/workflows/build.yml diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml new file mode 100644 index 0000000..abc88f5 --- /dev/null +++ b/.github/workflows/build.yml @@ -0,0 +1,21 @@ +name: Build SeBa + +on: + push: + branches: [ "main" ] + pull_request: + branches: [ "main" ] + +jobs: + build: + + runs-on: ubuntu-latest + + steps: + - uses: actions/checkout@v4 + - name: make + run: make + - name: make dstar + run: + cd dstar + make From e374c31197bedf7ffc3fb1bd7bf0c28b7d1fe4f6 Mon Sep 17 00:00:00 2001 From: Steven Rieder Date: Fri, 4 Jul 2025 10:47:54 +0200 Subject: [PATCH 2/2] Update build.yml --- .github/workflows/build.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index abc88f5..03cb235 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -16,6 +16,6 @@ jobs: - name: make run: make - name: make dstar - run: + run: | cd dstar make