Skip to content

Add processor state, term constructor, and triple constructors. Change reifiedTriple to reifingTriple. #179

Add processor state, term constructor, and triple constructors. Change reifiedTriple to reifingTriple.

Add processor state, term constructor, and triple constructors. Change reifiedTriple to reifingTriple. #179

Triggered via pull request August 26, 2024 19:36
Status Success
Total duration 1m 8s
Artifacts 1

auto-publish.yml

on: pull_request
Echidna Auto-publish WD
59s
Echidna Auto-publish WD
Fit to window
Zoom out
Zoom in

Annotations

3 warnings
Echidna Auto-publish WD
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
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
spec-prod-result-spec Expired
104 KB