Skip to content
CI

Implement custom fold for WhileSome #534

Sign in to view logs

Implement custom fold for WhileSome

Implement custom fold for WhileSome #534

Triggered via pull request October 11, 2023 14:27
@Owen-CH-LeungOwen-CH-Leung
synchronize #780
Owen-CH-Leung:Implement-custom-fold-for-while-some
Status Success
Total duration 1m 51s
Artifacts –

ci.yml

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