Skip to content
Makefile CI

refactor: change memory-effects theorem to a quantifier-free statement #2513

Sign in to view logs

refactor: change memory-effects theorem to a quantifier-free statement

refactor: change memory-effects theorem to a quantifier-free statement #2513

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build (ubuntu-latest)
19m 45s
build (macos-14)
6m 50s
26m 35s