Skip to content
Echidna Auto-publish

Changes symbols L, P, P_1, and P_2 in 'Evaluation Semantics' section #705

Sign in to view logs

Changes symbols L, P, P_1, and P_2 in 'Evaluation Semantics' section

Changes symbols L, P, P_1, and P_2 in 'Evaluation Semantics' section #705

Triggered via pull request January 23, 2026 14:35
@hartighartig
synchronize #347
Issue308
Status Success
Total duration 1m 24s
Artifacts 1

auto-publish.yml

on: pull_request
Echidna Auto-publish WD
1m 20s
Echidna Auto-publish WD
Fit to window
Zoom out
Zoom in

Annotations

2 warnings
Echidna Auto-publish WD
Unexpected input(s) 'ACTIONS_STEP_DEBUG', valid inputs are ['TOOLCHAIN', 'SOURCE', 'DESTINATION', 'BUILD_FAIL_ON', 'VALIDATE_INPUT_MARKUP', 'VALIDATE_LINKS', 'VALIDATE_MARKUP', 'VALIDATE_WEBIDL', 'VALIDATE_PUBRULES', 'GH_PAGES_BRANCH', 'GH_PAGES_BUILD_OVERRIDE', 'GH_PAGES_TOKEN', 'W3C_ECHIDNA_TOKEN', 'W3C_WG_DECISION_URL', 'W3C_BUILD_OVERRIDE', 'W3C_NOTIFICATIONS_CC', 'ARTIFACT_NAME']
Echidna Auto-publish WD
Unexpected input(s) 'ACTIONS_STEP_DEBUG', valid inputs are ['TOOLCHAIN', 'SOURCE', 'DESTINATION', 'BUILD_FAIL_ON', 'VALIDATE_INPUT_MARKUP', 'VALIDATE_LINKS', 'VALIDATE_MARKUP', 'VALIDATE_WEBIDL', 'VALIDATE_PUBRULES', 'GH_PAGES_BRANCH', 'GH_PAGES_BUILD_OVERRIDE', 'GH_PAGES_TOKEN', 'W3C_ECHIDNA_TOKEN', 'W3C_WG_DECISION_URL', 'W3C_BUILD_OVERRIDE', 'W3C_NOTIFICATIONS_CC', 'ARTIFACT_NAME']

Artifacts

Produced during runtime
Name Size Digest
spec-prod-result-spec Expired
297 KB
sha256:8f1aaea06c821edc3fc061e66a1d324f13888740bd82a7ec5fa3094465b093c9