ci: build & push

.gitea/workflows/push.yaml

@@ -0,0 +1,32 @@
+---
+name: push
+on:
+    push:
+        branches:
+            - actions
+jobs:
+    build:
+        container:
+            image: focs.ji.sjtu.edu.cn:5000/gitea/runner-images:ubuntu-latest
+        steps:
+            - name: Check out repository code
+              uses: https://gitea.com/BoYanZh/checkout@focs
+            - name: Setup Go 1.23.1
+              run: |
+                  wget -q https://studygolang.com/dl/golang/go1.23.1.linux-amd64.tar.gz
+                  rm -rf /usr/local/go
+                  tar -C /usr/local -xzf go1.23.1.linux-amd64.tar.gz
+                  rm -rf go1.23.1.linux-amd64.tar.gz
+                  echo "PATH=$PATH:/usr/local/go/bin:/root/go/bin" >> $GITHUB_ENV
+            - name: Display Go version
+              run: go version
+            - name: Prepare
+              run: |
+                  go env -w GO111MODULE=on
+                  go env -w GOPROXY=https://goproxy.io,direct
+            - name: Build
+              run: make build
+            - name: Check images
+              run: docker ps -a
+            - name: Push
+              run: make push

.gitignore

@@ -1 +1,2 @@
-/bin/joj3
+/bin/*
+!/bin/joj3-teapot

.gitmodules

@@ -0,0 +1,3 @@
+[submodule "JOJ3"]
+	path = JOJ3
+	url = ssh://git@focs.ji.sjtu.edu.cn:2222/FOCS-dev/JOJ3.git

JOJ3

@@ -0,0 +1 @@
+Subproject commit 1bb0ddd253092895405d02e66ff089743735c941

Makefile

@@ -3,6 +3,9 @@
 all: build
 
 build:
+	git submodule update --init --remote
+	$(MAKE) -C JOJ3
+	cp JOJ3/build/* bin/
 	docker build -t focs.ji.sjtu.edu.cn:5000/gitea/runner-images:focs-ubuntu-latest-slim .
 
 push: