Skip to content

Merge pull request #1341 from rainlanguage/2025-02-18-any-functions #3213

Merge pull request #1341 from rainlanguage/2025-02-18-any-functions

Merge pull request #1341 from rainlanguage/2025-02-18-any-functions #3213

Triggered via push February 19, 2025 10:38
Status Success
Total duration 21m 51s
Artifacts

git-clean.yaml

on: push
Fit to window
Zoom out
Zoom in