GitHub CI

Maintenance: fix outdated stub_errorpage.cc contents (#1505) #1838

Triggered via push October 28, 2023 13:05

auto

Status Success

Total duration 59m 38s

Artifacts 2

This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

default.yaml

on: push

Matrix: build-tests

1 error and 1 warning

Running ./scripts/source-maintenance.sh modified sources

Check source-maintenance: Ignored the need to run ./scripts/source-maintenance.sh

Produced during runtime

Name	Size
build-logs-Linux Expired	11.4 MB
test-logs Expired	31.9 MB