diff --git a/.github/workflows/ci.ml b/.github/workflows/ci.ml index aae3b4445f9..e38ce14ea97 100644 --- a/.github/workflows/ci.ml +++ b/.github/workflows/ci.ml @@ -42,9 +42,9 @@ on: - '!tests/bench/**' - 'shell/' push: - branches: - - 'master' - - '2.**' +# branches: +# - 'master' +# - '2.**' |} name; if env <> [] then begin output_char oc '\n'; diff --git a/.github/workflows/depexts.yml b/.github/workflows/depexts.yml index 54412a45d25..72dab540450 100644 --- a/.github/workflows/depexts.yml +++ b/.github/workflows/depexts.yml @@ -7,9 +7,9 @@ on: - '.github/workflows/depexts.yml' - '.github/scripts/depexts/**' push: - paths: - - 'master' - - '2.**' +# paths: +# - 'master' +# - '2.**' defaults: run: diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index b09628eee62..4d5a0b79aea 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -17,9 +17,9 @@ on: - '!tests/bench/**' - 'shell/' push: - branches: - - 'master' - - '2.**' +# branches: +# - 'master' +# - '2.**' env: OPAMBSVERSION: 2.1.0 diff --git a/.github/workflows/scripts.yml b/.github/workflows/scripts.yml index 3ccce0761d1..6eef104baba 100644 --- a/.github/workflows/scripts.yml +++ b/.github/workflows/scripts.yml @@ -8,9 +8,9 @@ on: - '.github/scripts/scripts/hygiene.sh' - '.github/scripts/common/hygiene-preamble.sh' push: - branches: - - 'master' - - '2.**' +# branches: +# - 'master' +# - '2.**' defaults: run: