Skip to content
Github CI

[fleche] [error] Detect Qed based on buffer contents #1756

Sign in to view logs

[fleche] [error] Detect Qed based on buffer contents

[fleche] [error] Detect Qed based on buffer contents #1756

Triggered via pull request October 2, 2023 04:28
@ejgallegoejgallego
opened #567
qed_smart
Status Cancelled
Total duration 4m 17s
Artifacts –

build.yml

on: pull_request
client-compile
20s
client-compile
Nix Flake Check
1m 4s
Nix Flake Check
Matrix: Nix
Matrix: build
Fit to window
Zoom out
Zoom in

Annotations

16 errors
build (ubuntu-latest, 4.11.x)
Canceling since a higher priority waiting request for 'Github CI @ ejgallego:qed_smart' exists
build (ubuntu-latest, 4.11.x)
The operation was canceled.
build (ubuntu-latest, 5.0.x)
Canceling since a higher priority waiting request for 'Github CI @ ejgallego:qed_smart' exists
build (ubuntu-latest, 5.0.x)
The operation was canceled.
build (macos-latest, 4.14.x)
Canceling since a higher priority waiting request for 'Github CI @ ejgallego:qed_smart' exists
build (macos-latest, 4.14.x)
The operation was canceled.
build (ubuntu-latest, 4.14.x)
Canceling since a higher priority waiting request for 'Github CI @ ejgallego:qed_smart' exists
build (ubuntu-latest, 4.14.x)
The operation was canceled.
build (ubuntu-latest, 4.12.x)
Canceling since a higher priority waiting request for 'Github CI @ ejgallego:qed_smart' exists
build (ubuntu-latest, 4.12.x)
The operation was canceled.
build (Windows Latest, 4.14, windows-latest)
Canceling since a higher priority waiting request for 'Github CI @ ejgallego:qed_smart' exists
build (Windows Latest, 4.14, windows-latest)
The operation was canceled.
build (ubuntu-latest, 4.13.x)
Canceling since a higher priority waiting request for 'Github CI @ ejgallego:qed_smart' exists
build (ubuntu-latest, 4.13.x)
The operation was canceled.
Nix (macOS-latest)
Canceling since a higher priority waiting request for 'Github CI @ ejgallego:qed_smart' exists
Nix (macOS-latest)
The operation was canceled.