Skip to content
Continuous Integration

Remove the void argument for the anon function in option.or_try #248

Sign in to view logs

Remove the void argument for the anon function in option.or_try

Remove the void argument for the anon function in option.or_try #248

Triggered via pull request September 21, 2023 22:11
@MicroProofsMicroProofs
opened #76
clean-up-or-try
Status Success
Total duration 26s
Artifacts –

continuous-integration.yml

on: pull_request
build
15s
build
deploy
0s
deploy
Fit to window
Zoom out
Zoom in