Skip to content
CI

Implement custom fold for WhileSome #530

Sign in to view logs

Implement custom fold for WhileSome

Implement custom fold for WhileSome #530

Triggered via pull request October 10, 2023 13:46
@Owen-CH-LeungOwen-CH-Leung
opened #780
Owen-CH-Leung:Implement-custom-fold-for-while-some
Status Success
Total duration 1m 44s
Artifacts –

ci.yml

on: pull_request
Matrix: check
msrv
1m 21s
msrv
test
1m 20s
test
check format
19s
check format
All checks succeeded
2s
All checks succeeded
Fit to window
Zoom out
Zoom in