https://github.com/nathanreb/dune-promotion-stop-example
https://github.com/nathanreb/dune-promotion-stop-example
Last synced: 6 months ago
JSON representation
- Host: GitHub
- URL: https://github.com/nathanreb/dune-promotion-stop-example
- Owner: NathanReb
- Created: 2020-01-02T14:41:38.000Z (over 6 years ago)
- Default Branch: master
- Last Pushed: 2020-01-02T15:40:44.000Z (over 6 years ago)
- Last Synced: 2025-01-22T00:36:48.210Z (over 1 year ago)
- Size: 1000 Bytes
- Stars: 0
- Watchers: 3
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
# dune-promotion-stop-example
All promotions used to be run:
```
$ dune --version
1.11.4
$ dune runtest
Done: 0/0 (jobs: 0)File "a.expected", line 1, characters 0-0:
git (internal) (exit 1)
(cd _build/default && /usr/bin/git diff --no-index --color=always -u a.expected a)
diff --git a/a.expected b/a
index 7898192..975fbec 100644
--- a/a.expected
+++ b/a
@@ -1 +1 @@
-a
+y
Done: 4/7 (jobs: 1)File "b.expected", line 1, characters 0-0:
git (internal) (exit 1)
(cd _build/default && /usr/bin/git diff --no-index --color=always -u b.expected b)
diff --git a/b.expected b/b
index 6178079..b680253 100644
--- a/b.expected
+++ b/b
@@ -1 +1 @@
-b
+z
```
But in 2.0.0:
```
$ dune --version
n/a
$ dune runtest
Done: 0/0 (jobs: 0)File "a.expected", line 1, characters 0-0:
git (internal) (exit 1)
(cd _build/default && /usr/bin/git diff --no-index --color=always -u a.expected a)
diff --git a/a.expected b/a
index 7898192..975fbec 100644
--- a/a.expected
+++ b/a
@@ -1 +1 @@
-a
+y
```