Small unions #911
Annotations
1 warning
|
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
Set up job
3s
3s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
checkout project
2s
2s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
check case sensitivity
0s
0s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
look for ignored files
0s
0s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
check for lean files with the executable bit set
0s
0s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
install elan
4s
4s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
get cache
1m 9s
1m 9s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
check ConNF.lean
14s
14s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
build project
2m 3s
2m 3s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
build index
1m 44s
1m 44s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
setup graphviz
14s
14s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
build dependency graph
0s
0s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
build documentation
8m 42s
8m 42s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
copy documentation
0s
0s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
build blueprint
5m 7s
5m 7s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
remove .gitignore for gh-pages
0s
0s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
bundler deps
2s
2s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
bundle website
3s
3s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
upload artifact
2s
2s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
deploy website
5s
5s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Post checkout project
0s
0s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Complete job
0s
0s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Loading