diff --git a/.github/actions/setup-build/action.yml b/.github/actions/setup-build/action.yml index 4b85bd14..00d0a036 100644 --- a/.github/actions/setup-build/action.yml +++ b/.github/actions/setup-build/action.yml @@ -12,7 +12,7 @@ inputs: flint_version: description: FLINT version to build. required: false - default: '3.3.1' + default: '3.4.0' runs: using: composite