This repository was archived by the owner on Nov 3, 2025. It is now read-only.

Miri

Merge pull request #262 from artichoke/dev/lopopolo-no-more-discord #676

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Test with Miri	1m 5s
	1m 5s