Delete .github/workflows directory

.github/workflows/main.yml

@@ -1,38 +0,0 @@
-# This is a basic workflow to help you get started with Actions
-
-name: CI Build Server
-
-# Controls when the action will run. 
-on:
-  # Triggers the workflow on push or pull request events but only for the master branch
-  push:
-    branches: [ master ]
-  pull_request:
-    branches: [ master ]
-
-  # Allows you to run this workflow manually from the Actions tab
-  workflow_dispatch:
-
-# A workflow run is made up of one or more jobs that can run sequentially or in parallel
-jobs:
-  # This workflow contains a single job called "build"
-  build:
-    # The type of runner that the job will run on
-    runs-on: ubuntu-latest
-
-    # Steps represent a sequence of tasks that will be executed as part of the job
-    steps:
-      # Checks-out your repository under $GITHUB_WORKSPACE, so your job can access it
-      - name: Checkout code
-        uses: actions/checkout@v2
-        with:
-          path: 'src/'
-      
-      - name: Make dependency directories
-        run: |
-          mkdir -p exe/linux/bin
-          mkdir -p build/bin          
-
-      # Runs a single command using the runners shell
-      - name: Compile C code
-        run: ant -buildfile src/build.xml -Dbasedir=. build_src