From 0816952c679cb5f1590c252172f61c2aaa22b952 Mon Sep 17 00:00:00 2001 From: Michael Tautschnig Date: Tue, 28 Mar 2023 07:18:28 +0000 Subject: [PATCH] Run "slow" tests on push to main Make sure we catch problems as they appear, even when that is just after merging into main: slow tests might eventually take too long to run for them to be part of pull-request CI, so delay the execution until after merging. --- .github/workflows/slow-tests.yml | 10 +++------- 1 file changed, 3 insertions(+), 7 deletions(-) diff --git a/.github/workflows/slow-tests.yml b/.github/workflows/slow-tests.yml index dc96b0fd699d..2b565c91ad90 100644 --- a/.github/workflows/slow-tests.yml +++ b/.github/workflows/slow-tests.yml @@ -1,14 +1,10 @@ # Copyright Kani Contributors # SPDX-License-Identifier: Apache-2.0 OR MIT -# We use block scalar notation to allow us to add ":" to the workflow name. -name: >- - Nightly: Slow tests - +name: Slow tests on: - schedule: - - cron: "30 5 * * *" # Run this every day at 05:30 UTC - workflow_dispatch: # Allow manual dispatching for a custom branch / tag. + push: + branches: [ main ] env: RUST_BACKTRACE: 1