Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
4 changes: 2 additions & 2 deletions .github/labeler.yml
Original file line number Diff line number Diff line change
Expand Up @@ -10,9 +10,9 @@ feedback:
- changed-files:
- any-glob-to-any-file: 'contributions/feedback/**'

presentation:
project:
- changed-files:
- any-glob-to-any-file: 'contributions/presentation/**'
- any-glob-to-any-file: 'contributions/project/**'

scientific-paper:
- changed-files:
Expand Down
4 changes: 2 additions & 2 deletions .github/pull_request_template.md
Original file line number Diff line number Diff line change
Expand Up @@ -19,7 +19,7 @@ _The title of your proposal_

_Selected deadline for the assignment_

_If contribution is a **demo** or **presentation** or **scientific-paper** pick one of the following:_
_If contribution is a **demo** or **scientific-paper** pick one of the following:_
- Week 2
- Week 3
- Week 4
Expand All @@ -38,7 +38,7 @@ _Category of your proposal_

_Pick one of the following:_
- Demo
- Presentation
- Project
- Executable tutorial
- Scientific paper
- Open source
Expand Down
4 changes: 2 additions & 2 deletions .github/workflows/check_task.yml
Original file line number Diff line number Diff line change
Expand Up @@ -43,9 +43,9 @@ jobs:
echo "Error: More than one file affected ($FILES_COUNT)"
exit 1
fi
if [[ "$FILES" =~ ^contributions\/(executable-tutorial|feedback|open-source)\/[^\/]+\/README\.md$ ]]; then
if [[ "$FILES" =~ ^contributions\/(executable-tutorial|feedback|open-source|project)\/[^\/]+\/README\.md$ ]]; then
echo "Info: Matches async task"
elif [[ "$FILES" =~ ^contributions\/(demo|presentation|scientific-paper)\/week[2-7]\/[^\/]+\/README\.md$ ]]; then
elif [[ "$FILES" =~ ^contributions\/(demo|scientific-paper)\/week[2-7]\/[^\/]+\/README\.md$ ]]; then
echo "Info: Matches sync task"
else
echo "Error: File in wrong directory ($FILES)"
Expand Down
Loading