Skip to content
PR Build Check

docs: eliminate early design phase language #1479

Sign in to view logs

docs: eliminate early design phase language

docs: eliminate early design phase language #1479

Triggered via pull request September 28, 2023 22:46
@EpsilonPrimeEpsilonPrime
synchronize #547
EpsilonPrime:specification
Status Success
Total duration 56s
Artifacts –

pr.yml

on: pull_request
Build Website
44s
Build Website
Check editorconfig
3s
Check editorconfig
Check Protobuf Style
7s
Check Protobuf Style
Check Protobuf
14s
Check Protobuf
Lint YAML extensions
5s
Lint YAML extensions
Validate YAML extensions
13s
Validate YAML extensions
Dry-run release
21s
Dry-run release
Style-check and lint Python files
8s
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/