Skip to content
Git is clean

Merge pull request #277 from rainlanguage/2024-08-15-lean #156

Sign in to view logs

Merge pull request #277 from rainlanguage/2024-08-15-lean

Merge pull request #277 from rainlanguage/2024-08-15-lean #156

Run time

Learn about OS pricing on GitHub Actions
Job Run time
git-clean
4m 3s
4m 3s