Continuous integration

Add short-circuiting fold_left #5547

Sign in to view logs

Triggered via pull request July 18, 2024 15:25

jneem

synchronize #2000

fold

Status Success

Total duration 19m 8s

Artifacts –

continuous-integration.yml

on: pull_request

Matrix: build-and-test