ci: auto-resolve lakefile.toml when merging main into the bump branch - #931

ci: auto-resolve lakefile.toml when merging main into the bump branch#931

jessealama wants to merge 4 commits into

leanprover:mainleanprover/cslib:mainfrom

jessealama:ci/adaptation-pr-resolve-lakefilejessealama/cslib:ci/adaptation-pr-resolve-lakefileCopy head branch name to clipboard