Skip to content

ci: increase docs deploy timeout#968

Merged
JoanFM merged 1 commit intomainfrom
docs-increase-deploy-timeout
Jan 3, 2023
Merged

ci: increase docs deploy timeout#968
JoanFM merged 1 commit intomainfrom
docs-increase-deploy-timeout

Conversation

@alaeddine-13
Copy link
Copy Markdown
Member

This PR configures a custom github actions to deploy github pages documentation, in order to increase timeout

Signed-off-by: AlaeddineAbdessalem <[email protected]>
@codecov-commenter
Copy link
Copy Markdown

Codecov Report

Base: 85.20% // Head: 85.20% // No change to project coverage 👍

Coverage data is based on head (5640e8c) compared to base (b18f5da).
Patch has no changes to coverable lines.

Additional details and impacted files
@@           Coverage Diff           @@
##             main     #968   +/-   ##
=======================================
  Coverage   85.20%   85.20%           
=======================================
  Files         155      155           
  Lines        8050     8050           
=======================================
  Hits         6859     6859           
  Misses       1191     1191           
Flag Coverage Δ
docarray 85.20% <ø> (ø)

Flags with carried forward coverage won't be shown. Click here to find out more.

Help us with your feedback. Take ten seconds to tell us how you rate us. Have a feature suggestion? Share it here.

☔ View full report at Codecov.
📢 Do you have feedback about the report comment? Let us know in this issue.

@JoanFM JoanFM merged commit 7de23e6 into main Jan 3, 2023
@JoanFM JoanFM deleted the docs-increase-deploy-timeout branch January 3, 2023 10:31
alaeddine-13 added a commit that referenced this pull request Jan 3, 2023
Signed-off-by: AlaeddineAbdessalem <[email protected]>

Signed-off-by: AlaeddineAbdessalem <[email protected]>
JoanFM pushed a commit that referenced this pull request Jan 3, 2023
Signed-off-by: AlaeddineAbdessalem <[email protected]>

Signed-off-by: AlaeddineAbdessalem <[email protected]>

Signed-off-by: AlaeddineAbdessalem <[email protected]>
alaeddine-13 added a commit that referenced this pull request Jan 3, 2023
JoanFM pushed a commit that referenced this pull request Jan 3, 2023
alaeddine-13 added a commit that referenced this pull request Jan 3, 2023
JoanFM pushed a commit that referenced this pull request Jan 3, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants