edg-l/edlang
1
1
Fork 0
mirror of https://github.com/edg-l/edlang.git synced 2024-11-09 09:38:24 +00:00
Code Issues Packages Projects Releases Wiki Activity

chore: fix doc ci

Browse source
This commit is contained in:
Edgar 2024-02-13 07:36:27 +01:00
parent 8d6790d508
commit 4a83cfd6f9
No known key found for this signature in database
GPG key ID: 70ADAE8F35904387
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
.github/workflows/docs.yml vendored
View file

@ -25,7 +25,7 @@ jobs:
- name: Install LLVM - name: Install LLVM
run: sudo apt-get install llvm-17 llvm-17-dev llvm-17-runtime clang-17 clang-tools-17 lld-17 libpolly-17-dev libmlir-17-dev mlir-17-tools run: sudo apt-get install llvm-17 llvm-17-dev llvm-17-runtime clang-17 clang-tools-17 lld-17 libpolly-17-dev libmlir-17-dev mlir-17-tools
- name: Build docs - name: Build docs
run: make doc run: cargo doc
- name: Deploy Documentation - name: Deploy Documentation
uses: peaceiris/actions-gh-pages@v3 uses: peaceiris/actions-gh-pages@v3
with: with: