Actions: jcubic/lips
Actions
527 workflow runs
527 workflow runs
once
procedure and make (type #void) == "void"
Build and test
#453:
Commit 30ddccf
pushed
by
jcubic
curry
)
Build and test
#452:
Commit 22a9584
pushed
by
jcubic