Skip to content

chore(git): update .gitignore entries #31

chore(git): update .gitignore entries

chore(git): update .gitignore entries #31

Triggered via push December 18, 2025 09:42
Status Failure
Total duration 7m 11s
Artifacts

docs.yml

on: push
Build Documentation
7m 7s
Build Documentation
Deploy to GitHub Pages
0s
Deploy to GitHub Pages
Fit to window
Zoom out
Zoom in

Annotations

4 errors
Build Documentation
The process '/usr/bin/git' failed with exit code 128
Build Documentation
unable to access 'https://github.com/VTT-ProperTune/OpenPFC/': Failed to connect to github.com port 443 after 133339 ms: Couldn't connect to server
Build Documentation
unable to access 'https://github.com/VTT-ProperTune/OpenPFC/': Failed to connect to github.com port 443 after 133338 ms: Couldn't connect to server
Build Documentation
unable to access 'https://github.com/VTT-ProperTune/OpenPFC/': Failed to connect to github.com port 443 after 135159 ms: Couldn't connect to server