Skip to content
Deploy GitHub Pages

Remove unused User-Agent constant #28

Sign in to view logs

Remove unused User-Agent constant

Remove unused User-Agent constant #28

Triggered via pull request September 13, 2025 11:52
@hackall360hackall360
opened #20
codex/evaluate-and-possibly-remove-custom-user-agent-header
Status Cancelled
Total duration 23s
Artifacts –

deploy-pages.yml

on: pull_request
Build and Upload Artifact
9s
Build and Upload Artifact
Report Build Status
3s
Report Build Status
Deploy to Pages
0s
Deploy to Pages
Fit to window
Zoom out
Zoom in

Annotations

2 errors
Build and Upload Artifact
Canceling since a higher priority waiting request for pages exists
Deploy GitHub Pages
Canceling since a higher priority waiting request for pages exists