From 5a8e37d292da186b4c811bf3193e5836ac545523 Mon Sep 17 00:00:00 2001
From: Tobiasz Laskowski <tobil4sk@outlook.com>
Date: Fri, 30 Aug 2024 22:35:31 +0100
Subject: [PATCH] [ci] Remove travis files

---
 .travis.yml | 29 -----------------------------
 deploy.sh   | 41 -----------------------------------------
 2 files changed, 70 deletions(-)
 delete mode 100644 .travis.yml
 delete mode 100644 deploy.sh

diff --git a/.travis.yml b/.travis.yml
deleted file mode 100644
index 86c38b703..000000000
--- a/.travis.yml
+++ /dev/null
@@ -1,29 +0,0 @@
-language: haxe
-
-haxe:
-  - "3.4.2"
-  - "3.4.7"
-  - development
-
-dist: trusty
-sudo: false
-
-install:
-  - git fetch --unshallow
-  - yes | haxelib install CodeCookBook-neko.hxml --always
-  - if [[ "$TRAVIS_HAXE_VERSION" == "development" ]]; then haxelib git hxparse https://github.com/Simn/hxparse.git ; fi
-  - npm install -g less@2.7
-  - npm install -g less-plugin-clean-css@1.5
-  - haxe CodeCookBook-neko.hxml
-  # Syntax highlighting
-  - haxelib install highlighter
-  - haxelib git hxnodejs https://github.com/HaxeFoundation/hxnodejs
-  - echo n | haxelib git hxtemplo https://github.com/Simn/hxtemplo.git # To get nodejs fix
-  - npm install
-  - haxe highlighting.hxml
-
-script:
-  - bash -v deploy.sh
-
-notifications:
-  email: false
diff --git a/deploy.sh b/deploy.sh
deleted file mode 100644
index 82decbdd4..000000000
--- a/deploy.sh
+++ /dev/null
@@ -1,41 +0,0 @@
-#!/bin/bash
-set -e # exit with nonzero exit code if anything fails
-
-if ! [ "$TRAVIS_HAXE_VERSION" == "3.4.2" ]; then
-    echo "Skipping pushing to GitHub pages - that is only done for Haxe 3.4.2.";
-    exit 0;
-elif [ -z "$GHP_BOT_TOKEN" ]; then
-    echo "Skipping pushing to GitHub pages - missing GHP_BOT_TOKEN (probably in a PR build).";
-    exit 0;
-elif [ "$TRAVIS_PULL_REQUEST" != "false" ]; then
-    echo "Skipping pushing to GitHub pages - it is a pull request.";
-    exit 0;
-elif [ "$TRAVIS_BRANCH" != "master" ]; then
-    echo "Skipping pushing to GitHub pages - not master branch.";
-    exit 0;
-else
-    echo "Pushing GitHub pages"
-fi
-
-# go to the out directory and create a *new* Git repo
-cd output
-git init
-
-# inside this git repo we'll pretend to be a new user
-git config user.name "${GHP_BOT_NAME}"
-git config user.email "${GHP_BOT_EMAIL}"
-
-if [ -n "$GHP_CNAME" ]; then
-    echo "$GHP_CNAME" > CNAME;
-fi
-
-# The first and only commit to this new Git repo contains all the
-# files present with the commit message "Deploy to GitHub Pages".
-git add .
-git commit -m "Deploy to GitHub Pages from ${TRAVIS_COMMIT}"
-
-# Force push from the current repo's master branch to the remote
-# repo's gh-pages branch. (All previous history on the gh-pages branch
-# will be lost, since we are overwriting it.) We redirect any output to
-# /dev/null to hide any sensitive credential data that might otherwise be exposed.
-git push --force --quiet "https://${GHP_BOT_TOKEN}@github.com/${TRAVIS_REPO_SLUG}.git" master:gh-pages > /dev/null 2>&1 && echo done