Skip to content

fix: handle servers not answering to HEAD requests #3

fix: handle servers not answering to HEAD requests

fix: handle servers not answering to HEAD requests #3

Triggered via pull request July 22, 2024 13:42
Status Success
Total duration 1m 17s
Artifacts 5

tests.yml

on: pull_request
Matrix: tests
doc
11s
doc
Package the project into a distributable file
15s
Package the project into a distributable file
Merge the coverage reports from multiple coverages
10s
Merge the coverage reports from multiple coverages
Fit to window
Zoom out
Zoom in

Annotations

9 notices
Merge the coverage reports from multiple coverages
Starting action
Merge the coverage reports from multiple coverages
HTTP Request: GET https://api.github.com/repos/idiap/auto-intersphinx "HTTP/1.1 200 OK"
Merge the coverage reports from multiple coverages
Generating comment for PR
Merge the coverage reports from multiple coverages
HTTP Request: GET https://api.github.com/repos/idiap/auto-intersphinx/contents/data.json?ref=python-coverage-comment-action-data "HTTP/1.1 200 OK"
Merge the coverage reports from multiple coverages
HTTP Request: GET https://api.github.com/user "HTTP/1.1 403 Forbidden"
Merge the coverage reports from multiple coverages
HTTP Request: GET https://api.github.com/repos/idiap/auto-intersphinx/issues/2/comments "HTTP/1.1 200 OK"
Merge the coverage reports from multiple coverages
Adding new comment
Merge the coverage reports from multiple coverages
HTTP Request: POST https://api.github.com/repos/idiap/auto-intersphinx/issues/2/comments "HTTP/1.1 201 Created"

Artifacts

Produced during runtime
Name Size
coverage-test-alternative-macos-14 Expired
15.9 KB
coverage-test-alternative-ubuntu-22.04 Expired
15.9 KB
coverage-test-macos-14 Expired
15.7 KB
coverage-test-ubuntu-22.04 Expired
15.7 KB
dist Expired
51.2 KB