[vscode] Register `.mv` files as markdown files #1618

Sign in to view logs

Triggered via pull request June 29, 2023 15:30

ejgallego

synchronize #519

coq_markdown_rework

Status Success

Total duration 18m 57s

Artifacts –

build.yml

on: pull_request

Nix Flake Check

Matrix: Nix

Matrix: build

Annotations

1 warning

build (Windows Latest, 4.14, windows-latest)

Path Validation Error: Path(s) specified in the action for caching do(es) not exist, hence no cache is being saved.