[vscode] Register `.mv` files as markdown files · ejgallego/coq-lsp@08ce3b5

Triggered via pull request June 29, 2023 15:20

ejgallego

synchronize #519

coq_markdown_rework

Status Cancelled

Total duration 9m 56s

Artifacts –

build.yml

on: pull_request

Matrix: Nix

Matrix: build

5 errors

Process completed with exit code 1.

Canceling since a higher priority waiting request for 'Github CI @ ejgallego:coq_markdown_rework' exists

The operation was canceled.

Canceling since a higher priority waiting request for 'Github CI @ ejgallego:coq_markdown_rework' exists

The operation was canceled.