Skip to content
CI

feat: let simp apply rules with higher-order patterns #21961

Sign in to view logs

feat: let simp apply rules with higher-order patterns

feat: let simp apply rules with higher-order patterns #21961

Triggered via pull request September 26, 2024 16:04
@nomeatanomeata
synchronize #5479
joachim/simp_eq_self
Status Success
Total duration 13m 51s
Artifacts 2

ci.yml

on: pull_request
configure
3s
configure
Matrix: build
Build matrix complete
3s
Build matrix complete
release
0s
release
release-nightly
0s
release-nightly
Fit to window
Zoom out
Zoom in

Annotations

3 warnings
macOS aarch64
zstd 1.5.6 is already installed and up-to-date. To reinstall 1.5.6, run: brew reinstall zstd
macOS aarch64
gmp 6.3.0 is already installed and up-to-date. To reinstall 6.3.0, run: brew reinstall gmp
macOS aarch64
libuv 1.48.0 is already installed and up-to-date. To reinstall 1.48.0, run: brew reinstall libuv

Artifacts

Produced during runtime
Name Size Digest
build-Linux release Expired
293 MB
sha256:01b1f1be105700200daedd742cca7e0d0167d3a02ef77b559fe560b5c44ab258
build-macOS aarch64 Expired
281 MB
sha256:e651be7a6e88bc0599011852d438324345e617decdb7a861c43a86e49a693111