add github workflow

This commit is contained in:
mii
2022-08-05 11:08:56 +09:00
parent e8d1f8d665
commit c91e18d276
3 changed files with 18 additions and 16 deletions

6
.idea/jenkinsSettings.xml generated Normal file
View File

@ -0,0 +1,6 @@
<?xml version="1.0" encoding="UTF-8"?>
<project version="4">
<component name="Jenkins.Application.Settings">
<option name="serverUrl" value="https://jenkins.mii.codes/" />
</component>
</project>