chiark / gitweb /
~ianmdlvl / otter.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2a2c725) | patch
Makefile: Always run miri on nightly
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Wed, 11 May 2022 22:06:27 +0000 (23:06 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Wed, 11 May 2022 22:06:57 +0000 (23:06 +0100)
commita8717f09ac8b50fbe75b5bedfb7d454d2afaab2a
treea3ec425d8107b65e473bd999f78fcd59995168c9tree | snapshot
parent2a2c7254ad86529a2c8b39bf260e10eddad799e1commit | diff
Makefile: Always run miri on nightly

It's not stable.

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Makefile diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.