From ba0262a8e81a9dababc14c0ba22efb5a8b0d5891 Mon Sep 17 00:00:00 2001 From: adomani Date: Mon, 1 Jul 2024 09:13:59 +0200 Subject: [PATCH] fix: checkout master --- .github/workflows/technical_debt_metrics.yml | 23 +++++++++++--------- 1 file changed, 13 insertions(+), 10 deletions(-) diff --git a/.github/workflows/technical_debt_metrics.yml b/.github/workflows/technical_debt_metrics.yml index d7055c85e59ae..02240c30d6b5c 100644 --- a/.github/workflows/technical_debt_metrics.yml +++ b/.github/workflows/technical_debt_metrics.yml @@ -1,6 +1,7 @@ name: Weekly Technical Debt Counters on: + push: schedule: - cron: '0 4 * * 1' # Run at 04:00 every Monday @@ -13,19 +14,21 @@ jobs: uses: actions/checkout@v4 with: # checkout all history so that we can compare across commits fetch-depth: 0 + ref: 'master' - name: Run script id: tech_debt run: | + git rev-parse HEAD printf $'summary<> "$GITHUB_OUTPUT" - - name: Post output to Zulip - uses: zulip/github-actions-zulip/send-message@v1 - with: - api-key: ${{ secrets.ZULIP_API_KEY }} - email: 'github-mathlib4-bot@leanprover.zulipchat.com' - organization-url: 'https://leanprover.zulipchat.com' - to: 'mathlib4' - type: 'stream' - topic: Technical Debt Counters - content: ${{ steps.tech_debt.outputs.summary }} + #- name: Post output to Zulip + # uses: zulip/github-actions-zulip/send-message@v1 + # with: + # api-key: ${{ secrets.ZULIP_API_KEY }} + # email: 'github-mathlib4-bot@leanprover.zulipchat.com' + # organization-url: 'https://leanprover.zulipchat.com' + # to: 'mathlib4' + # type: 'stream' + # topic: Technical Debt Counters + # content: ${{ steps.tech_debt.outputs.summary }}