Skip to content
CI

perf: give currRecDepth its own ReaderT layer in CoreM #62688

Sign in to view logs

perf: give currRecDepth its own ReaderT layer in CoreM

perf: give currRecDepth its own ReaderT layer in CoreM #62688

Triggered via pull request September 3, 2026 16:03
@KhaKha
synchronize #14970
core-recdepth-readert
Status Success
Total duration 9m 42s
Artifacts 1

ci.yml

on: pull_request
configure
8s
configure
Matrix: build / build
Matrix: build-secondary / build
Waiting for pending jobs
Build matrix complete
2s
Build matrix complete
release
release
release-nightly
release-nightly
Fit to window
Zoom out
Zoom in

Annotations

3 warnings
configure
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: mikehardy/runner-fallback-action@dc7732f9e532c451b2527b288ba8d58fd4b0a4ca. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
build / Linux release
Could not consume hash mismatch events: Error: Unable to locate executable file: determinate-nixd. Please verify either the file path exists or the file can be found within a directory specified by the PATH environment variable. Also check the file mode to verify the file is executable.
build / Linux release
Failed to save: "/nix/store/3cp4kw4376flmhlxxi4w2jkancv3irp8-gnutar-1.35/bin/tar" failed with error: The process '/nix/store/3cp4kw4376flmhlxxi4w2jkancv3irp8-gnutar-1.35/bin/tar' failed with exit code 2

Artifacts

Produced during runtime
Name Size Digest
build-Linux release
721 MB
sha256:ddf1798fcd219fecb0f00c798f8f8f30e4069905b9ee5f96d25a1bb8c9440a74