Skip to content
Makefile CI

chore: Split out the finishing tactic aspect of simp_mem into mem_omega [2/?] #2577

Sign in to view logs

chore: Split out the finishing tactic aspect of simp_mem into mem_omega [2/?]

chore: Split out the finishing tactic aspect of simp_mem into mem_omega [2/?] #2577

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build (ubuntu-latest)
19m 18s
build (macos-14)
8m 20s
27m 38s