Skip to content
Github CI

Merge pull request #562 from ejgallego/notation #1744

Sign in to view logs

Merge pull request #562 from ejgallego/notation

Merge pull request #562 from ejgallego/notation #1744

Triggered via push October 2, 2023 02:54
@ejgallegoejgallego
pushed ce637c5
main
Status Cancelled
Total duration 31m 40s
Artifacts –

build.yml

on: push
client-compile
31s
client-compile
Nix Flake Check
1m 12s
Nix Flake Check
Matrix: Nix
Matrix: build
Fit to window
Zoom out
Zoom in

Annotations

2 errors
build (Windows Latest, 4.14, windows-latest)
Canceling since a higher priority waiting request for 'Github CI @ refs/heads/main' exists
build (Windows Latest, 4.14, windows-latest)
The operation was canceled.