master #298

Merged

mpeltriaux merged 3 commits from master into Docker

mpeltriaux commented

Owner

Update docker

mpeltriaux added 3 commits

676b8e1e54 Specific quality check for recorded entries

* adds a new command specifically for recorded entries

1438cf4e89 Deployment preparation

* adds unrecording to invalid entries
* reduces quality check runs on entries of interest (compensations)

89c83f8a55 Merge pull request 'recorded_quality_check' (#297 ) from recorded_quality_check into master

Reviewed-on: SGD-Nord/konova#297

mpeltriaux merged commit 452b418ade into Docker 2 years ago

mpeltriaux referenced this issue from a commit

Merge pull request 'master' (#298) from master into Docker

The pull request has been merged as 452b418ade.

You can also view command line instructions.

Step 1:

From your project repository, check out a new branch and test the changes.

git checkout -b master Docker

git pull origin master

Step 2:

Merge the changes and update on Gitea.

git checkout Docker

git merge --no-ff master

git push origin Docker

No reviewers

No Label

No Milestone

No project

No Assignees

1 Participants

Notifications

Due Date

The due date is invalid or out of range. Please use the format 'yyyy-mm-dd'.

No due date set.

Dependencies

No dependencies set.

Loading…

There is no content yet.

Labels Milestones

master #298

Step 1:

Step 2: