-
Notifications
You must be signed in to change notification settings - Fork 48
Pull requests: fricas/fricas
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Update macos build: auto discover SDKs and arch, build DMG
#136
opened Sep 15, 2023 by
afrojer
Loading…
GH Actions workflow for continuous integration and portability testing
#102
opened Jun 28, 2022 by
mkoeppe
Loading…
"sman" should not automatically restart "viewman" endlessly
#101
opened Jun 26, 2022 by
oldk1331
Loading…
ProTip!
Exclude everything labeled
bug with -label:bug.