adjust/reduce space of fricas output #120

Triggered via push June 20, 2024 19:16

hemmecke

new-ps-book-rhx

Status Success

Total duration 5m 31s

Artifacts 1

linux.yml

on: push

Produced during runtime

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