[coq] [loader] Don't swallow plugin loading errors. #1720

Sign in to view logs

Triggered via pull request September 29, 2023 14:18

ejgallego

opened #557

loader_strict

Status Success

Total duration 26m 22s

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.