improve documentation #137

Triggered via push October 20, 2024 20:02

hemmecke

Status Success

Total duration 5m 2s

Artifacts 1

linux.yml

on: push

Produced during runtime

Name	Size
FriCAS-linux-x86_64-binary	29.7 MB