Skip to content
Back to pull request #1011

(fix) Follow-up to #969, fix bug where workspaces don't close #1000

# to view logs

(fix) Follow-up to #969, fix bug where workspaces don't close

(fix) Follow-up to #969, fix bug where workspaces don't close #1000

Run time

Learn about OS # on GitHub Actions
Job Run time
build
4m 42s
4m 42s