From 2dc2b6db83b24c0a0fa884fda0e2ecc2f953bf4b Mon Sep 17 00:00:00 2001 From: Gregor Zeitlinger Date: Thu, 28 May 2026 13:27:41 +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 ace835e0..d1d7d128 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