diff options
author | Federico Igne <federico.igne@cs.ox.ac.uk> | 2021-11-03 15:01:41 +0000 |
---|---|---|
committer | Federico Igne <federico.igne@cs.ox.ac.uk> | 2021-11-03 15:01:41 +0000 |
commit | ead8690acf06e124260d9bb30cb88543775ce498 (patch) | |
tree | f13fff1d7d317da783401ebace6c9a144f3a4bfc /.github/workflows | |
parent | efcc56381d7ebcd12bb0a9836351ae20dc10d334 (diff) | |
parent | b61dedb7677b92a87adaf585c56f8cff2e5ac777 (diff) | |
download | RSAComb-ead8690acf06e124260d9bb30cb88543775ce498.tar.gz RSAComb-ead8690acf06e124260d9bb30cb88543775ce498.zip |
Merge remote-tracking branch 'origin/master'
Diffstat (limited to '.github/workflows')
-rw-r--r-- | .github/workflows/pom.yml | 32 |
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 @@ | |||
1 | name: POM generation | ||
2 | |||
3 | on: | ||
4 | pull_request: | ||
5 | push: | ||
6 | branches: [ master ] | ||
7 | paths: [ 'build.sbt' ] | ||
8 | |||
9 | jobs: | ||
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 | |||