doc: explain how to use custom lexers in the latest minted · leanprover/lean4@cc615c7

Triggered via pull request December 10, 2023 14:21

labeled #3047

eric-wieser:patch-9

Status Success

Total duration 13m 25s

Artifacts 2

ci.yml

on: pull_request

Matrix: build

Produced during runtime

Name	Size
build-Linux release Expired	236 MB
coredumps-Linux release Expired	133 MB