From 973fda0025c9dd2e51dd7174ac312820ff3949a6 Mon Sep 17 00:00:00 2001 From: "Andres G. Aragoneses" Date: Fri, 26 Apr 2024 20:13:12 +0800 Subject: [PATCH 1/2] CI: use macOS 12 (instead of 13/14/latest) The macOS jobs started failing for no reason so maybe it's because macOS-latest now maps to macOS14 (which has a different CPU, AFAIU) or macOS13. See: https://docs.github.com/en/actions/using-github-hosted-runners/about-github-hosted-runners/about-github-hosted-runners#standard-github-hosted-runners-for-public-repositories --- .github/workflows/CI.yml | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/.github/workflows/CI.yml b/.github/workflows/CI.yml index c2c21945e..91b3f46e3 100644 --- a/.github/workflows/CI.yml +++ b/.github/workflows/CI.yml @@ -9,7 +9,7 @@ on: [push, pull_request, workflow_dispatch] jobs: macOS--dotnet6-and-mono: - runs-on: macOS-latest + runs-on: macOS-12 steps: - uses: actions/checkout@v1 with: @@ -42,7 +42,7 @@ jobs: find . -type f -name "*.fsx" | xargs -t -I {} dotnet fsxc {} macOS--mono-only: - runs-on: macOS-latest + runs-on: macOS-12 steps: - uses: actions/checkout@v1 with: @@ -65,7 +65,7 @@ jobs: run: make update-servers macOS--dotnet6-only: - runs-on: macOS-latest + runs-on: macOS-12 steps: - uses: actions/checkout@v1 with: From 9b1ee1165a9756d76609afa5bb7cae44f7056b30 Mon Sep 17 00:00:00 2001 From: "Andres G. Aragoneses" Date: Tue, 7 May 2024 16:55:10 +0800 Subject: [PATCH 2/2] CI: add schedule trigger to run once a day This way it will not catch us by surprise when suddenly CI fails when the reason is not really related to the commit being pushed, but by some change done on the GitHub side. --- .github/workflows/CI.yml | 10 +++++++++- 1 file changed, 9 insertions(+), 1 deletion(-) diff --git a/.github/workflows/CI.yml b/.github/workflows/CI.yml index 91b3f46e3..3df3e9c0b 100644 --- a/.github/workflows/CI.yml +++ b/.github/workflows/CI.yml @@ -1,6 +1,14 @@ name: CI -on: [push, pull_request, workflow_dispatch] +on: + push: + pull_request: + workflow_dispatch: + + # to execute once a day (more info see https://docs.github.com/en/actions/using-workflows/events-that-trigger-workflows#schedule ) + schedule: + - cron: "0 0 * * *" + # FIXME: figure out why we need to clean after make if we # want 'make strict' target to really happen without