Skip to content
Docker

Add a +n option to -S to prevent saving node numbers in headers. #2833

Sign in to view logs

Add a +n option to -S to prevent saving node numbers in headers.

Add a +n option to -S to prevent saving node numbers in headers. #2833

Triggered via pull request October 4, 2024 13:14
@joa-quimjoa-quim
opened #8592
triangulate_S+n
Status Success
Total duration 3m 2s
Artifacts –

docker.yml

on: pull_request
Matrix: docker
Fit to window
Zoom out
Zoom in