From 6cf41183e86bead0c28fa1985c0e7b51a365c406 Mon Sep 17 00:00:00 2001 From: Dmitriy Kovalenko Date: Sat, 27 Apr 2024 17:19:47 +0200 Subject: [PATCH] Manually install odoc for docs building on CI --- .github/workflows/build.yml | 7 ++----- 1 file changed, 2 insertions(+), 5 deletions(-) diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index 73f75308..72287983 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -45,7 +45,7 @@ jobs: # Here we use a low-level command. In real situation you don't have to # but it is useful in CI as it split the log in GitHub UI. - # You can see at a glance if it is your projet or your deps that break. + # You can see at a glance if it is your project or your deps that break. # # We also use --release flag to build less. # This allow us to spot syntax/type error more quickly. @@ -65,7 +65,7 @@ jobs: - name: Build project run: esy build - - name: Ensure reamde is up-to-date + - name: Ensure readme is up-to-date run: node scripts/process-readme.js verify # Here we cleanup if we have a cache fail because we use restore-keys. @@ -89,6 +89,3 @@ jobs: with: name: orange_diff_generated path: test/test-images - - - name: Build docs - run: esy doc