[internal] [request] Refactor handling of Coq execution in requests #1856

Sign in to view logs

Triggered via pull request November 8, 2023 14:30

ejgallego

synchronize #601

in_state_rework_protect_monad

Status Success

Total duration 26m 41s

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.