Skip to content

docs: Google DNS should use dns.google instead of dns.google.com (#664) #412

docs: Google DNS should use dns.google instead of dns.google.com (#664)

docs: Google DNS should use dns.google instead of dns.google.com (#664) #412

Triggered via push September 29, 2024 08:42
Status Success
Total duration 1m 31s
Artifacts 13

build.yml

on: push
Matrix: build / build
pre-actions  /  set-vars
0s
pre-actions / set-vars
pre-actions  /  export-github-context
0s
pre-actions / export-github-context
pre-actions  /  export-metadata
5s
pre-actions / export-metadata
post-actions  /  report-workflow-run
0s
post-actions / report-workflow-run
Matrix: pre-actions / instantiate-check-runs
pre-actions  /  notify-build-start
0s
pre-actions / notify-build-start
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
dae-linux-arm64 Expired
12.7 MB
dae-linux-armv5 Expired
12.8 MB
dae-linux-armv6 Expired
12.8 MB
dae-linux-armv7 Expired
12.7 MB
dae-linux-mips32 Expired
12.3 MB
dae-linux-mips32le Expired
12.2 MB
dae-linux-mips64 Expired
12.1 MB
dae-linux-mips64le Expired
12 MB
dae-linux-riscv64 Expired
12.8 MB
dae-linux-x86_32 Expired
12.9 MB
dae-linux-x86_64 Expired
13.4 MB
dae-linux-x86_64_v2_sse Expired
13.4 MB
dae-linux-x86_64_v3_avx2 Expired
13.4 MB