Skip to content
ci

feat: add Fin.find?, Fin.findSome? and lemmas #10888

Sign in to view logs

feat: add Fin.find?, Fin.findSome? and lemmas

feat: add Fin.find?, Fin.findSome? and lemmas #10888

Triggered via pull request February 4, 2025 00:30
@fgdoraisfgdorais
synchronize #1099
fin-find
Status Success
Total duration 53s
Artifacts –

build.yml

on: pull_request
Build
45s
Build
Fit to window
Zoom out
Zoom in