Skip to content

Fix GitHub auth lint failures and harden CI setup #271

Fix GitHub auth lint failures and harden CI setup

Fix GitHub auth lint failures and harden CI setup #271

Triggered via pull request March 21, 2026 17:38
Status Success
Total duration 5m 29s
Artifacts

snapshot.yml

on: pull_request
Fit to window
Zoom out
Zoom in

Annotations

1 error
Snapshot
unable to access 'https://github.com/ProverCoderAI/docker-git/': Failed to connect to github.com port 443 after 135803 ms: Couldn't connect to server