Skip to content
ci

feat: add Fin.find?, Fin.findMap? and lemmas #10811

Sign in to view logs

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

feat: add Fin.find?, Fin.findMap? and lemmas #10811

Triggered via pull request February 1, 2025 00:38
@fgdoraisfgdorais
synchronize #1099
fin-find
Status Success
Total duration 1m 2s
Artifacts –

build.yml

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