diff --git a/.github/workflows/server.yml b/.github/workflows/server.yml index 3541bdd8..d18c903c 100644 --- a/.github/workflows/server.yml +++ b/.github/workflows/server.yml @@ -47,7 +47,7 @@ jobs: run: cd thirdparty/lazyfs/ && ./build.sh - name: Test with Maven - run: cd dhfs-parent && mvn -T $(nproc) --batch-mode --update-snapshots package verify javadoc:aggregate + run: cd dhfs-parent && mvn -T $(nproc) --batch-mode --update-snapshots package javadoc:aggregate # - name: Build with Maven # run: cd dhfs-parent && mvn --batch-mode --update-snapshots package # -Dquarkus.log.category.\"com.usatiuk.dhfs\".min-level=DEBUG @@ -236,3 +236,29 @@ jobs: with: name: Run wrapper path: ~/run-wrapper.tar.gz + + publish-javadoc: + runs-on: ubuntu-latest + permissions: + contents: write + + needs: [build-webui, build-dhfs] + + steps: + - name: Checkout repository + uses: actions/checkout@v4 + + - uses: actions/download-artifact@v4 + with: + name: DHFS Javadocs + path: /tmp/dhfs-javadocs-downloaded + + - name: Upload + run: | + git branch javadocs || echo "Branch exists" + git checkout javadocs + rm -rf * + mv /tmp/dhfs-javadocs-downloaded/* . + git commit -m "update javadocs" + git push origin javadocs + diff --git a/dhfs-parent/kleppmanntree/src/main/java/com/usatiuk/kleppmanntree/AtomicClock.java b/dhfs-parent/kleppmanntree/src/main/java/com/usatiuk/kleppmanntree/AtomicClock.java deleted file mode 100644 index f524473a..00000000 --- a/dhfs-parent/kleppmanntree/src/main/java/com/usatiuk/kleppmanntree/AtomicClock.java +++ /dev/null @@ -1,32 +0,0 @@ -package com.usatiuk.kleppmanntree; - -import java.io.Serializable; - -public class AtomicClock implements Clock, Serializable { - private long _max = 0; - - public AtomicClock(long counter) { - _max = counter; - } - - @Override - public Long getTimestamp() { - return ++_max; - } - - public void setTimestamp(Long timestamp) { - _max = timestamp; - } - - @Override - public Long peekTimestamp() { - return _max; - } - - @Override - public Long updateTimestamp(Long receivedTimestamp) { - var old = _max; - _max = Math.max(_max, receivedTimestamp) + 1; - return old; - } -}