Doc and typo fixes #573

Triggered via push June 3, 2024 10:11

oldk1331

master

Status Success

Total duration 5m 4s

Artifacts 1

linux.yml

on: push

Produced during runtime

Name	Size
FriCAS-linux-x86_64-binary	29.8 MB