Skip to content
.github/workflows/ci.yml

Make the otherwise branch in the LLBC match statements optional #163

Sign in to view logs

Make the otherwise branch in the LLBC match statements optional

Make the otherwise branch in the LLBC match statements optional #163

Triggered via pull request December 13, 2023 10:01
@sonmarchosonmarcho
synchronize #52
son/matches
Status Success
Total duration 8m 25s
Artifacts –

ci.yml

on: pull_request
nix
11s
nix
lean
8m 17s
lean
Fit to window
Zoom out
Zoom in