From d2764a489cf7d7679b7e5e35217872d78b923542 Mon Sep 17 00:00:00 2001 From: Gregor Zeitlinger Date: Thu, 28 May 2026 13:26:43 +0200 Subject: [PATCH] remove deprecated setting --- .github/config/flint.toml | 3 --- 1 file changed, 3 deletions(-) diff --git a/.github/config/flint.toml b/.github/config/flint.toml index ace835e01f0..d1d7d128746 100644 --- a/.github/config/flint.toml +++ b/.github/config/flint.toml @@ -1,5 +1,2 @@ [checks.lychee] check_all_local = true - -[settings] -setup_migration_version = 2