Skip to content

Merge pull request #616 from ejgallego/qed_admitted #1907

Merge pull request #616 from ejgallego/qed_admitted

Merge pull request #616 from ejgallego/qed_admitted #1907

Triggered via push November 22, 2023 00:02
Status Success
Total duration 20m 13s
Artifacts

build.yml

on: push
client-compile
21s
client-compile
Nix Flake Check
54s
Nix Flake Check
Matrix: Nix
Matrix: build
Fit to window
Zoom out
Zoom in

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.