diff --git a/.github/workflows/i386-linux-handwritten.yml b/.github/workflows/i386-linux-handwritten.yml deleted file mode 100644 index 771de6a..0000000 --- a/.github/workflows/i386-linux-handwritten.yml +++ /dev/null @@ -1,13 +0,0 @@ -name: i386-linux-handwritten - -on: [push, pull_request] -jobs: - runtests: - runs-on: ubuntu-latest - steps: - - uses: actions/checkout@v1 - - name: run tests - run: | - make - ./planck < bootstrap.fs runtests.fs - diff --git a/.github/workflows/python.yaml b/.github/workflows/python.yaml deleted file mode 100644 index ac5d8e2..0000000 --- a/.github/workflows/python.yaml +++ /dev/null @@ -1,12 +0,0 @@ -name: python - -on: [push, pull_request] -jobs: - runtests: - runs-on: ubuntu-latest - steps: - - uses: actions/checkout@v1 - - name: run tests - run: | - make python - ./planck < bootstrap.fs runtests.fs diff --git a/.github/workflows/c.yaml b/.github/workflows/runtests.yaml similarity index 100% rename from .github/workflows/c.yaml rename to .github/workflows/runtests.yaml