Git is clean

Merge branch '2025-08-16-no-normal-mul' of github.com:rainlanguage/ra… #458

Sign in to view logs

Triggered via push August 21, 2025 07:43

thedavidmeister

2025-08-16-no-normal-mul

Status Success

Total duration 3m 2s

Artifacts –

git-clean.yaml

on: push