Adapt to coq/coq#17836 (sort poly) #1840

Sign in to view logs

Triggered via pull request November 7, 2023 11:36

ejgallego

synchronize #549

SkySkimmer:sort-poly

Status Success

Total duration 30m 44s

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.