Merge pull request #11862 from McGiverGim/remove_scheduled_nightly
commitce0a311268f6379e9ea3b6f1f10dda488f5e8049
authorJan Post <post@stud.tu-darmstadt.de>
Sun, 2 Oct 2022 23:12:58 +0000 (3 01:12 +0200)
committerGitHub <noreply@github.com>
Sun, 2 Oct 2022 23:12:58 +0000 (3 01:12 +0200)
treefe003481e2159a5e78d445ca59b65f51451edd57
parent12546dc7827b42e954ba5818ea67df23a6251a5c
parentff27685f83de4e83c8e05c911f2c2f63b5ba36b5
Merge pull request #11862 from McGiverGim/remove_scheduled_nightly

Remove scheduled nightly