From befde3f494c22f8127181825e58cd0625b93a94a Mon Sep 17 00:00:00 2001 From: Marcella Hastings Date: Mon, 15 Jul 2024 13:22:29 -0400 Subject: [PATCH 1/2] ci: update version for actions/checkout --- .github/workflows/ci.yml | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index aadc135d..37146d4c 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -21,9 +21,12 @@ jobs: run: | apt update apt install -y git + - name: Checkout - uses: actions/checkout@v2 + uses: actions/checkout@v4 + - name: Cryptol Version run: cryptol --version + - name: Check Cryptol Files run: bash scripts/load_all_cry_files.sh From a7d98775cc37c35a84a9d04253c6cdaa63c8e52c Mon Sep 17 00:00:00 2001 From: Marcella Hastings Date: Mon, 15 Jul 2024 13:48:20 -0400 Subject: [PATCH 2/2] ci: update triggers for cryptol typecheck - removes the scheduled run that causes the workflow to be disabled after 60 days of inactivity - expand the "on-pr" trigger to run for any PRs, not just those touching master --- .github/workflows/ci.yml | 6 +----- 1 file changed, 1 insertion(+), 5 deletions(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 37146d4c..02c0e101 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -1,13 +1,9 @@ -name: Cryptol +name: Cryptol typecheck on: push: branches: - master pull_request: - branches: - - master - schedule: - - cron: "0 10 * * *" # 10am UTC -> 2/3am PST workflow_dispatch: jobs: