Skip to content
Github CI

Utils.with_control use VernacControl (adapt to coq/coq#19517 adding a control flag) #2862

Sign in to view logs

Utils.with_control use VernacControl (adapt to coq/coq#19517 adding a control flag)

Utils.with_control use VernacControl (adapt to coq/coq#19517 adding a control flag) #2862

Triggered via pull request September 27, 2024 14:06
@SkySkimmerSkySkimmer
opened #834
SkySkimmer:profile-control
Status Cancelled
Total duration 17m 4s
Artifacts –

build.yml

on: pull_request
Opam dev install
8m 24s
Opam dev install
client-compile
15s
client-compile
Nix Flake Check
50s
Nix Flake Check
Matrix: Nix
Matrix: build
Fit to window
Zoom out
Zoom in

Annotations

3 errors
Nix Flake Check
Process completed with exit code 1.
build (Windows Latest, 4.14, windows-latest, windows-5.0: https://github.com/dra27/opam-repositor...
Canceling since a higher priority waiting request for 'Github CI @ SkySkimmer:profile-control' exists
build (Windows Latest, 4.14, windows-latest, windows-5.0: https://github.com/dra27/opam-repositor...
The operation was canceled.