A => .build.yml +42 -0
@@ 0,0 1,42 @@
+image: alpine/edge
+packages:
+ - go
+ - mercurial
+sources:
+ - hg+https://hg.sr.ht/~ser/score-better-balance
+secrets:
+ - 45926939-38b0-4e7f-bfa5-1a5b5786a773
+ - d7d86c19-5b94-4c65-bf07-b8b30f55bd63
+environment:
+ PROJ: score-better-balance
+tasks:
+ - build: |
+ cd ${PROJ}
+ for TARG in linux:amd64 linux:386 windows:amd64 darwin:amd64; do
+ GOOS=$(echo $T | cut -d: -f1)
+ GOARCH=$(echo $T | cut -d: -f2)
+ DATE=$(hg log -r tip --template '{date|shortdate}')
+ ASSET=sbb_${GOOS}_${GOARCH}_${DATE}
+ [[ $GOOS == "windows" ]] && ASSET=${ASSET}.exe
+ go build -o ${ASSET} .
+ done
+ - upload: |
+ cd ${PROJ}
+ for TARG in linux:amd64 linux:386 windows:amd64 darwin:amd64; do
+ GOOS=$(echo $T | cut -d: -f1)
+ GOARCH=$(echo $T | cut -d: -f2)
+ DATE=$(hg log -r tip --template '{date|shortdate}')
+ ASSET=sbb_${GOOS}_${GOARCH}_${DATE}
+ if [[ $GOOS == "windows" ]]; then
+ ASSET=${ASSET}.exe
+ ARCHIVE=${ASSET}.zip
+ zip ${ARCHIVE} ${ASSET}
+ else
+ xz -6 ${ASSET}
+ ARCHIVE=${ASSET}.xz
+ fi
+ gpg -b --local-user ECE3F91E646A3FAB5D4DED0F5E0D7ABD6668FDD1 ${ARCHIVE}
+ curl --netrc-file ~/.downloads -T ${ARCHIVE} https://downloads.ser1.net/files/
+ curl --netrc-file ~/.downloads -T ${ARCHIVE}.sig https://downloads.ser1.net/files/
+ done
+
M README.md +4 -0
@@ 1,12 1,16 @@
score-better-balance
====================
+[](https://builds.sr.ht/~ser/score-better-balance?)
+
This is a simple implementation of a post on r/EndTPTP. The poposal suggested
a modification of STAR to address some percieved deficiences.
In this repository is an implementation of the proposal, plus two sets of
input data to test it with.
+Binaries are available from https://downloads.ser1.net/files . Binaries are signed with my public key, 7ABD6668FDD1 (which is available from public keyservers).
+
Example
-------