Skip to content

Editorial: remove markers and ins/dels #41

Editorial: remove markers and ins/dels

Editorial: remove markers and ins/dels #41

Triggered via pull request December 30, 2024 05:04
@marcoscaceresmarcoscaceres
synchronize #181
markers
Status Success
Total duration 1m 12s
Artifacts 2

auto-publish-errata.yml

on: pull_request
Matrix: Generate errata and implementation report
Fit to window
Zoom out
Zoom in

Annotations

2 warnings
Generate errata and implementation report (errata.html)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Generate errata and implementation report (reports/implementation.html)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

Artifacts

Produced during runtime
Name Size
spec-prod-result-erratahtml Expired
6.53 KB
spec-prod-result-reports-implementationhtml Expired
7.81 KB