Skip to content
NewTools

Merge pull request #1022 from iglosiggio/improve-finder #1837

Sign in to view logs

Merge pull request #1022 from iglosiggio/improve-finder

Merge pull request #1022 from iglosiggio/improve-finder #1837

Triggered via push February 28, 2025 18:52
@jeciscjecisc
pushed 555e87a
Pharo13
Status Success
Total duration 1m 39s
Artifacts –

newtools.yml

on: push
Matrix: build
Fit to window
Zoom out
Zoom in