diff options
author | David Allsopp <david.allsopp@metastack.com> | 2022-04-19 19:31:57 +0100 |
---|---|---|
committer | David Allsopp <david.allsopp@metastack.com> | 2022-07-22 08:15:51 +0100 |
commit | 6f7fff7330698be963f72004b85382e3bee3e2c2 (patch) | |
tree | 99dcd82ea840248c0dfa3b63c31dc91e75b4aae8 /.github/workflows | |
parent | 430b226badc3ce7b637ffa349c34cff479702e5a (diff) | |
download | ocaml-6f7fff7330698be963f72004b85382e3bee3e2c2.tar.gz |
Revert "Disable manual build temporarily"
This reverts commit bbbe9e559b4023b319385faad2b4925e7aacff82.
Diffstat (limited to '.github/workflows')
-rw-r--r-- | .github/workflows/build.yml | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index c632a0a8c9..586c2d43cf 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -82,8 +82,7 @@ jobs: - name: Build the manual run: | MAKE_ARG=-j OCAMLRUNPARAM=b,v=0 bash -xe tools/ci/actions/runner.sh manual - # Temporarily disabled 23-Apr-2021 while Dune isn't building - if: steps.manual.outputs.changed == 'disabled' + if: steps.manual.outputs.changed == 'true' - name: Other checks run: | MAKE_ARG=-j OCAMLRUNPARAM=b,v=0 bash -xe tools/ci/actions/runner.sh other-checks |