Skip to content

replace \nullXtc by \noOutputXtc and remove \nullXtc #110

replace \nullXtc by \noOutputXtc and remove \nullXtc

replace \nullXtc by \noOutputXtc and remove \nullXtc #110

Triggered via push April 21, 2024 21:53
Status Success
Total duration 7m 33s
Artifacts 1

linux.yml

on: push
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
FriCAS-linux-x86_64-binary
35.8 MB