From c91e18d276b601d1382a78c980834d59f5e1b513 Mon Sep 17 00:00:00 2001
From: mii <kurochian2@gmail.com>
Date: Fri, 5 Aug 2022 11:08:56 +0900
Subject: [PATCH] add github workflow

---
 .github/workflows/build.yml | 12 ++++++++++++
 .idea/jenkinsSettings.xml   |  6 ++++++
 Jenkinsfile                 | 16 ----------------
 3 files changed, 18 insertions(+), 16 deletions(-)
 create mode 100644 .github/workflows/build.yml
 create mode 100644 .idea/jenkinsSettings.xml
 delete mode 100644 Jenkinsfile

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
new file mode 100644
index 0000000..9475b24
--- /dev/null
+++ b/.github/workflows/build.yml
@@ -0,0 +1,12 @@
+on: [push]
+
+jobs:
+  build_and_test:
+    name: Rust project
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v2
+      - uses: actions-rs/toolchain@v1
+        with:
+          toolchain: stable
+      - run: cargo build --release --all-features
\ No newline at end of file
diff --git a/.idea/jenkinsSettings.xml b/.idea/jenkinsSettings.xml
new file mode 100644
index 0000000..3d58c3e
--- /dev/null
+++ b/.idea/jenkinsSettings.xml
@@ -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>
\ No newline at end of file
diff --git a/Jenkinsfile b/Jenkinsfile
deleted file mode 100644
index b0c657d..0000000
--- a/Jenkinsfile
+++ /dev/null
@@ -1,16 +0,0 @@
-pipeline {
-  agent any
-  stages {
-    stage('Build') {
-      steps {
-        echo "Build start."
-      }
-
-      post {
-        always {
-          echo "Build end."
-        }
-      }
-    }
-  }
-}
\ No newline at end of file