ci: use gitea actions instead of drone #40
|  | @ -36,7 +36,7 @@ jobs: | |||
|                   cd ~ | ||||
|                   ls -lha ~/.ssh | ||||
|                   cat ~/.ssh/id_ed25519.pub | ||||
|                   git clone ssh://git@focs.ji.sjtu.edu.cn:2222/FOCS-dev/JOJ3-examples.git | ||||
|                   GIT_SSH_COMMAND="ssh -o StrictHostKeyChecking=no" git clone ssh://git@focs.ji.sjtu.edu.cn:2222/FOCS-dev/JOJ3-examples.git | ||||
|             - name: Build | ||||
|               run: make build | ||||
|             - name: Test | ||||
|  |  | |||
		Loading…
	
		Reference in New Issue
	
	Block a user