Bump @lezer/highlight from 1.2.0 to 1.2.1 in the production group · MiniZinc/minizinc-playground@45dc7d4

Triggered via pull request August 19, 2024 08:12

synchronize #56

Status Success

Total duration 50s

Artifacts 1

gh-pages.yml

on: pull_request

Matrix: build-for-deployment

Produced during runtime

Name	Size
playground Expired	362 KB