Skip to content

Conversation

@o-nnerb
Copy link
Member

@o-nnerb o-nnerb commented Jun 12, 2023

Description

During the execution of the documentation.yml workflow, an error related to a repeated concurrency configuration conflict occurred. Since it is already set in the main workflow defined in the .github repository, there is no need to specify the property again.

Therefore, this PR removes the configuration to resolve the redundancy in the workflow.

Fixes None

Type of change

  • Bug fix (non-breaking change which fixes an issue)

Checklist

  • My code follows the code style of this project.

@o-nnerb o-nnerb added the bug Something isn't working label Jun 12, 2023
@o-nnerb o-nnerb added this to the 0.1.1 milestone Jun 12, 2023
@github-actions github-actions bot requested a review from vcolen June 12, 2023 21:50
@o-nnerb o-nnerb temporarily deployed to github-pages June 12, 2023 21:56 — with GitHub Actions Inactive
@o-nnerb o-nnerb marked this pull request as ready for review June 12, 2023 21:56
@o-nnerb
Copy link
Member Author

o-nnerb commented Jun 12, 2023

@vcolen Don't worry about the deploy error, it's just that I ran it on the documentation-workflow-fix branch, which is not allowed to push updates to Github Pages.

@o-nnerb o-nnerb merged commit 6fb5515 into main Jun 13, 2023
@o-nnerb o-nnerb deleted the documentation-workflow-fix branch June 13, 2023 09:25
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

bug Something isn't working

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants