Skip to content
Makefile CI

feat: working conv + simp_mem with goal state filtering #2529

Sign in to view logs

feat: working conv + simp_mem with goal state filtering

feat: working conv + simp_mem with goal state filtering #2529

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build (ubuntu-latest)
19m 47s
build (macos-14)
6m 6s
25m 53s