Skip to content
CI

FIXED: print_term/2: indentation of right argument of infix term. #808

Sign in to view logs

FIXED: print_term/2: indentation of right argument of infix term.

FIXED: print_term/2: indentation of right argument of infix term. #808

Triggered via push October 8, 2024 09:47
@JanWielemakerJanWielemaker
pushed f765db1
master
Status Success
Total duration 3m 9s
Artifacts –

ci.yml

on: push
build
3m 0s
build
Fit to window
Zoom out
Zoom in