chore: add vscode cmake configuration · leanprover/lean4@56f781e

Triggered via pull request December 1, 2023 18:00

opened #3008

eric-wieser:patch-7

Status Success

Total duration 14m 29s

Artifacts 2

ci.yml

on: pull_request

Matrix: build

Produced during runtime

Name	Size
build-Linux release Expired	235 MB
coredumps-Linux release Expired	132 MB