Skip to content
PR-Merge

#44: Added ITDE manager (#49) #15

Sign in to view logs

#44: Added ITDE manager (#49)

#44: Added ITDE manager (#49) #15

Triggered via push January 9, 2024 15:55
@tkiliastkilias
pushed b52b641
main
Status Success
Total duration 11m 16s
Artifacts 3

pr-merge.yml

on: push
Checks  /  Version Check
57s
Checks / Version Check
Publish Documentation  /  documentation-job
59s
Publish Documentation / documentation-job
Matrix: Checks / lint-job
Matrix: Checks / type-check-job
Checks  /  Build Documentation
52s
Checks / Build Documentation
Matrix: Checks / tests-job
metrics  /  Generate Status Report
57s
metrics / Generate Status Report
Fit to window
Zoom out
Zoom in

Annotations

1 error
Checks / Type Checking (Python-3.11)
unable to access 'https://github.com/exasol/notebook-connector/': Failed to connect to github.com port 443 after 131179 ms: Connection timed out

Artifacts

Produced during runtime
Name Size
.coverage Expired
52 KB
.lint.txt Expired
17.4 KB
metrics.json Expired
214 Bytes