make erct public #800
jonsterling
This run and associated checks have been archived and are scheduled for deletion.
Learn more about checks retention
Annotations
7 errors
|
deploy
The run was canceled by @jonsterling.
|
|
deploy
Could not read from remote repository.
|
|
deploy
clone of 'git@git.sr.ht:~jonsterling/elements-of-relative-category-theory' into submodule path '/home/runner/work/forest/forest/erct' failed
|
|
deploy
Could not read from remote repository.
|
|
deploy
clone of 'git@git.sr.ht:~jonsterling/elements-of-relative-category-theory' into submodule path '/home/runner/work/forest/forest/erct' failed
|
|
deploy
The process '/usr/bin/git' failed with exit code 1
|
|
deploy
The operation was canceled.
|