Skip to content
Cargo Build & Test

Replace global allocator for model checking #87

Sign in to view logs

Replace global allocator for model checking

Replace global allocator for model checking #87

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Build and test (stable)
1m 5s
Build and test (beta)
1m 9s
2m 14s