Skip to content
Config-options

Expand named entity GAPDoc calls in Abstract(HTML) #496

Sign in to view logs

Expand named entity GAPDoc calls in Abstract(HTML)

Expand named entity GAPDoc calls in Abstract(HTML) #496

Triggered via pull request February 6, 2025 17:18
@forktreeforktree
synchronize #726
forktree:711-fix-html
Status Success
Total duration 8m 32s
Artifacts –

config_options.yml

on: pull_request
Matrix: all-options
Matrix: with-external-planarity-bliss
Fit to window
Zoom out
Zoom in