From 7aa50ad1595844d370b41ee354e9ef986c7e03e7 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Maciek=20B=C4=85k?= Date: Sun, 28 Jan 2024 18:57:32 +0100 Subject: [PATCH] refactor: remove old Gitpod configuration (#49) --- .gitignore | 3 +++ .gitpod.yml | 17 ----------------- 2 files changed, 3 insertions(+), 17 deletions(-) diff --git a/.gitignore b/.gitignore index f993c00..10ee2a5 100644 --- a/.gitignore +++ b/.gitignore @@ -13,3 +13,6 @@ # conda env .warlock/ + +# core demon model +resources/demon_model diff --git a/.gitpod.yml b/.gitpod.yml index 7d8745e..b49587a 100644 --- a/.gitpod.yml +++ b/.gitpod.yml @@ -23,20 +23,3 @@ tasks: g++ resources/demon_model/src/demon.cpp -o resources/demon_model/bin/demon -I.warlock/include -lm echo "Ready to work!" echo "Remember to switch to a feature branch before starting the development :)" - -github: - prebuilds: - # enable for the default branch - master: true - # enable for all branches in this repo - branches: false - # enable for pull requests coming from this repo - pullRequests: true - # enable for pull requests coming from forks - pullRequestsFromForks: false - # add a check to pull requests - addCheck: prevent-merge-on-error - # add a "Review in Gitpod" button as a comment to pull requests - addComment: false - # add a "Review in Gitpod" button to the pull request's description - addBadge: true