From 5a34ed99047dec545c83acca8468541ca7a3b3b6 Mon Sep 17 00:00:00 2001 From: Tom Ellis Date: Thu, 2 Nov 2023 16:35:46 +0000 Subject: [PATCH 1/3] Add tomjaguarpaw as code owner --- .github/CODEOWNERS | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/CODEOWNERS b/.github/CODEOWNERS index 5ae078f..8586179 100644 --- a/.github/CODEOWNERS +++ b/.github/CODEOWNERS @@ -1 +1 @@ -* @vrom911 \ No newline at end of file +* @vrom911 @tomjaguarpaw \ No newline at end of file From 4a9be563a37db17992b8b6461e5c013582d13ece Mon Sep 17 00:00:00 2001 From: Tom Ellis Date: Mon, 11 Mar 2024 08:37:19 +0000 Subject: [PATCH 2/3] Don't fail-fast --- .github/workflows/ci.yml | 3 +++ 1 file changed, 3 insertions(+) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index e992606..240bf13 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -14,6 +14,9 @@ jobs: name: ${{ matrix.os }} / ghc ${{ matrix.ghc }} runs-on: ${{ matrix.os }} strategy: + # Don't fail fast because we test a lot of versions and it's + # good to know which ones work and which ones don't + fail-fast: false matrix: os: [ubuntu-latest, macOS-latest, windows-latest] cabal: ["3.8"] From 7d32c007cb97886050ff7a33f75db1733dd777be Mon Sep 17 00:00:00 2001 From: Tom Ellis Date: Mon, 11 Mar 2024 08:17:12 +0000 Subject: [PATCH 3/3] Add workflow_dispatch trigger --- .github/workflows/ci.yml | 1 + 1 file changed, 1 insertion(+) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 240bf13..6ea68bf 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -8,6 +8,7 @@ on: schedule: # additionally run once per week (At 00:00 on Sunday) to maintain cache - cron: '0 0 * * 0' + workflow_dispatch: jobs: cabal: