Aufgrund von sicherheitskritischen Patches müssen git.rwth-aachen.de & git-ce.rwth-aachen.de zwischen 15:00 und 16:00 Uhr einem Update unterzogen werden. In der Zeit ist GitLab nur eingeschränkt erreichbar. // Due to severe security patches git.rwth-aachen.de & git-ce.rwth-aachen.de must be upgraded. This will happen today from 15 to 16 am. GitLab will temporarilly unavailable.

Commit 12c96175 authored 3 months ago by Julius

added doc, fixed timing bug in tests, fixed boxplot bug

parent 268b8b60

Branches

Tags

1 merge request!36Resolve "Automatic Property Testing"

Pipeline #1604547 failed 3 months ago

Status	Pipeline	Created by	Stages	Actions
Failed 00:01:09 3 months ago	added doc, fixed timing bug in tests, fixed boxplot bug #1604547 32-confidential-issue 12c96175		Stage: test	Download artifacts No artifacts found

Admin message

added doc, fixed timing bug in tests, fixed boxplot bug