Skip to content
Configuration options

Fix workspaces #137

Sign in to view logs

Fix workspaces

Fix workspaces #137

Triggered via pull request October 7, 2023 10:22
@james-d-mitchelljames-d-mitchell
synchronize #962
james-d-mitchell:fix-workspaces
Status Success
Total duration 7m 11s
Artifacts –

config-options.yml

on: pull_request
enable-debug
7m 1s
enable-debug
with-external-libsemigroups
6m 47s
with-external-libsemigroups
Fit to window
Zoom out
Zoom in