add PR to changelog

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

Sign in to view logs

Triggered via pull request November 29, 2023 16:55

nomeata

closed #2974

Status Skipped

Total duration 2s

Artifacts –

changelog.yml

on: pull_request_target

update-changelog