From 916be9a701da1cb0379a567dceadc2adc5d41399 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Daniel=20For=C3=A9?= Date: Mon, 30 Sep 2019 18:40:49 -0700 Subject: [PATCH 1/2] Add Lint to CI --- .github/workflows/main.yml | 16 ++++++++++++++++ 1 file changed, 16 insertions(+) create mode 100644 .github/workflows/main.yml diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml new file mode 100644 index 000000000..c31e8dea4 --- /dev/null +++ b/.github/workflows/main.yml @@ -0,0 +1,16 @@ +name: CI + +on: [push, pull_request] + +jobs: + lint: + + runs-on: ubuntu-latest + + container: + image: valalang/lint + + steps: + - uses: actions/checkout@v1 + - name: Lint + run: io.elementary.vala-lint -d . From 94a0de8b1c18b9f16d7b64dd04da8e90a47f83e6 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Daniel=20For=C3=A9?= Date: Mon, 25 Nov 2019 15:04:44 -0800 Subject: [PATCH 2/2] Add linter exceptions --- daemon/Daemon.vala | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/daemon/Daemon.vala b/daemon/Daemon.vala index aa79be18d..961760788 100644 --- a/daemon/Daemon.vala +++ b/daemon/Daemon.vala @@ -109,11 +109,11 @@ namespace Maya { if (now.compare (start_time) > 0) { continue; } - start_time = start_time.add_weeks (-(int)duration.get_weeks ()); - start_time = start_time.add_days (-(int)duration.get_days ()); - start_time = start_time.add_hours (-(int)duration.get_hours ()); - start_time = start_time.add_minutes (-(int)duration.get_minutes ()); - start_time = start_time.add_seconds (-(int)duration.get_seconds ()); + start_time = start_time.add_weeks (-(int)duration.get_weeks ()); //vala-lint=space-before-paren + start_time = start_time.add_days (-(int)duration.get_days ()); //vala-lint=space-before-paren + start_time = start_time.add_hours (-(int)duration.get_hours ()); //vala-lint=space-before-paren + start_time = start_time.add_minutes (-(int)duration.get_minutes ()); //vala-lint=space-before-paren + start_time = start_time.add_seconds (-(int)duration.get_seconds ()); //vala-lint=space-before-paren if (start_time.get_year () == now.get_year () && start_time.get_day_of_year () == now.get_day_of_year ()) { var time = time_until_now (start_time); if (time >= 0) {