CI #2186
Set up 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.
install Coq
48s
48s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Run actions/checkout@v4
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.
Set up Python 3.12
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 dependencies
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.
Lint with flake8
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.
make doctests
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 package building deps (pip)
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 package building deps (standalone)
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 package (dist)
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 package (standalone)
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.
Test install
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.
Test (local)
16m 38s
16m 38s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Test (installed)
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.
Test (standalone)
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.
Post Set up Python 3.12
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.
Post Run actions/checkout@v4
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