Skip to content
Makefile CI

feat: Decidable instances for mem_legal', mem_subset', mem_separate' … #144

Sign in to view logs

feat: Decidable instances for mem_legal', mem_subset', mem_separate' …

feat: Decidable instances for mem_legal', mem_subset', mem_separate' … #144

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build (ubuntu-latest)
10m 12s
build (macos-14)
8m 26s
18m 38s