Skip to content

Allow inter algebra make concurrency#38

Merged
jnidzwetzki merged 1 commit into
mainfrom
jan/improve_build
Jul 14, 2026
Merged

Allow inter algebra make concurrency#38
jnidzwetzki merged 1 commit into
mainfrom
jan/improve_build

Conversation

@jnidzwetzki

Copy link
Copy Markdown
Member

So far, each algebra was built on its own. Now we allow building them concurrently.

So far, each algebra was built on its own. Now we allow building them
concurrently.
@jnidzwetzki jnidzwetzki self-assigned this Jul 14, 2026
@jnidzwetzki jnidzwetzki merged commit f25fdcd into main Jul 14, 2026
7 checks passed
@jnidzwetzki jnidzwetzki deleted the jan/improve_build branch July 14, 2026 21:14
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant