aboutsummaryrefslogtreecommitdiff
path: root/.github/workflows
diff options
context:
space:
mode:
authorFederico Igne <federico.igne@cs.ox.ac.uk>2021-11-03 15:01:41 +0000
committerFederico Igne <federico.igne@cs.ox.ac.uk>2021-11-03 15:01:41 +0000
commitead8690acf06e124260d9bb30cb88543775ce498 (patch)
treef13fff1d7d317da783401ebace6c9a144f3a4bfc /.github/workflows
parentefcc56381d7ebcd12bb0a9836351ae20dc10d334 (diff)
parentb61dedb7677b92a87adaf585c56f8cff2e5ac777 (diff)
downloadRSAComb-ead8690acf06e124260d9bb30cb88543775ce498.tar.gz
RSAComb-ead8690acf06e124260d9bb30cb88543775ce498.zip
Merge remote-tracking branch 'origin/master'
Diffstat (limited to '.github/workflows')
-rw-r--r--.github/workflows/pom.yml32
1 files changed, 32 insertions, 0 deletions
diff --git a/.github/workflows/pom.yml b/.github/workflows/pom.yml
new file mode 100644
index 0000000..60b7411
--- /dev/null
+++ b/.github/workflows/pom.yml
@@ -0,0 +1,32 @@
1name: POM generation
2
3on:
4 pull_request:
5 push:
6 branches: [ master ]
7 paths: [ 'build.sbt' ]
8
9jobs:
10 pom:
11 runs-on: ubuntu-latest
12
13 steps:
14
15 - uses: actions/checkout@v2
16 with:
17 ref: ${{ github.head_ref }}
18
19 - name: Generate POM
20 run: |
21 sbt makePom
22 mv target/scala-*/rsacomb_*.pom pom.xml
23
24 - name: Commit changes
25 uses: stefanzweifel/git-auto-commit-action@v4
26 with:
27 commit_user_name: GitHub POM Action
28 commit_user_email: "gh-pom@github.com"
29 commit_message: "⬆ Update POM dependences"
30 commit_options: '--no-verify --signoff'
31 file_pattern: pom.xml
32