Auto-deploy from GitHub Action #116

colis-anr · Apr 13, 2023 · 23be0c1 · 23be0c1
1 parent 8816fef
commit 23be0c1
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/docs/branch/main/commit-hash b/docs/branch/main/commit-hash
@@ -1 +1 @@
-967a0af0fead5ede45fb95d78d9a9ca9d8c0b682
+4777f8b9aac49081b47c4f749706540a2df7f99e
diff --git a/docs/branch/main/date b/docs/branch/main/date
@@ -1 +1 @@
-1681426684
+1681428215
diff --git a/docs/index.html b/docs/index.html
@@ -60,7 +60,7 @@ <h2>Documentation</h2>
 <tr><td rowspan="1" class="name">0.10.1</td><td rowspan="1" class="commit-hash"><a href="https://github.com/colis-anr/morbig/tree/0.10.1">73ef408</a></td><td rowspan="1" class="date">Feb 27, 2019</td><td class="link"><a href="tag/0.10.1/morbig">morbig</a></td></tr>
 <tr><td rowspan="1" class="name">0.10</td><td rowspan="1" class="commit-hash"><a href="https://github.com/colis-anr/morbig/tree/0.10">8dc4ff6</a></td><td rowspan="1" class="date">Feb 27, 2019</td><td class="link"><a href="tag/0.10/morbig">morbig</a></td></tr>
 <tr class="head"><td class="name">Branches</td><td>Commit</td><td>Date</td><td>Libraries</td></tr>
-<tr><td rowspan="2" class="name">main</td><td rowspan="2" class="commit-hash"><a href="https://github.com/colis-anr/morbig/tree/967a0af">967a0af</a></td><td rowspan="2" class="date">Apr 13, 2023</td><td class="link"><a href="branch/main/_odoc_support">_odoc_support</a></td></tr>
+<tr><td rowspan="2" class="name">main</td><td rowspan="2" class="commit-hash"><a href="https://github.com/colis-anr/morbig/tree/4777f8b">4777f8b</a></td><td rowspan="2" class="date">Apr 13, 2023</td><td class="link"><a href="branch/main/_odoc_support">_odoc_support</a></td></tr>
 <tr><td class="link"><a href="branch/main/morbig">morbig</a></td></tr>
 <tr><td rowspan="2" class="name">fix-tests-runner</td><td rowspan="2" class="commit-hash"><a href="https://github.com/colis-anr/morbig/tree/42b2a15">42b2a15</a></td><td rowspan="2" class="date">Mar 31, 2023</td><td class="link"><a href="branch/fix-tests-runner/_odoc_support">_odoc_support</a></td></tr>
 <tr><td class="link"><a href="branch/fix-tests-runner/morbig">morbig</a></td></tr>
Original file line number	Diff line number	Diff line change
		@@ -1 +1 @@
		967a0af0fead5ede45fb95d78d9a9ca9d8c0b682
		4777f8b9aac49081b47c4f749706540a2df7f99e