Skip to content

Commit

Permalink
ci: build docs
Browse files Browse the repository at this point in the history
  • Loading branch information
zshipko committed Jan 23, 2024
1 parent ff97c02 commit 0076c14
Showing 1 changed file with 0 additions and 1 deletion.
1 change: 0 additions & 1 deletion .github/workflows/docs.yml
Original file line number Diff line number Diff line change
Expand Up @@ -28,7 +28,6 @@ jobs:
GITHUB_TOKEN: ${{ github.token }}

- name: Setup elan toolchain on Linux or macOS
if: matrix.os == 'ubuntu-latest' || matrix.os == 'macos-latest'
run: |
curl -O --location https://raw.githubusercontent.com/leanprover/elan/master/elan-init.sh
chmod u+x elan-init.sh
Expand Down

0 comments on commit 0076c14

Please sign in to comment.