Skip to content
PR Build Check

docs: eliminate early design phase language #1475

Sign in to view logs

docs: eliminate early design phase language

docs: eliminate early design phase language #1475

Triggered via pull request September 28, 2023 20:44
@EpsilonPrimeEpsilonPrime
synchronize #547
EpsilonPrime:specification
Status Success
Total duration 1m 3s
Artifacts –

pr.yml

on: pull_request
Build Website
54s
Build Website
Check editorconfig
5s
Check editorconfig
Check Protobuf Style
5s
Check Protobuf Style
Check Protobuf
10s
Check Protobuf
Lint YAML extensions
5s
Lint YAML extensions
Validate YAML extensions
17s
Validate YAML extensions
Dry-run release
27s
Dry-run release
Style-check and lint Python files
7s
Style-check and lint Python files
Check proto-prefix.py
13s
Check proto-prefix.py
Fit to window
Zoom out
Zoom in

Annotations

3 warnings
Check proto-prefix.py
No github_token supplied, API requests will be subject to stricter rate limiting
Dry-run release
No github_token supplied, API requests will be subject to stricter rate limiting
Build Website
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/setup-python@v2, actions/cache@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/