remove unused files #107

Triggered via push April 16, 2024 21:33

hemmecke

wip/fricas-book

Status Success

Total duration 6m 17s

Artifacts 1

linux.yml

on: push

Produced during runtime

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