division of streams with less memory #133

Triggered via push July 26, 2024 22:09

hemmecke

Status Success

Total duration 5m 7s

Artifacts 1

linux.yml

on: push

Produced during runtime

Name	Size
FriCAS-linux-x86_64-binary Expired	29.8 MB