Back to pull request #2974

refactor: CasesOnApp.refineThrough can return a lambda, not an open term #38

Sign in to view logs

Triggered via pull request November 29, 2023 14:35

nomeata

synchronize #2974

joachim/guess-lex-badCassOn

Status Success

Total duration 9m 50s

Artifacts –

pr-title.yml

on: pull_request