ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-11-22 22:44:47 +03:00
Code Issues Packages Projects Releases Wiki Activity

More updates

Browse Source
This commit is contained in:
Pranav Gaddamadugu 2024-10-22 13:51:11 -07:00
parent 0a0f38a640
commit f961092a03
3 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
.circleci/config.yml
View File

@ -29,7 +29,7 @@ commands:
- run: - run:
name: Install Rust name: Install Rust
command: | command: |
curl --proto '=https' --tlsv1.2 -sSf https://sh.rustup.rs | sh curl --proto '=https' --tlsv1.2 -sSf https://sh.rustup.rs | sh -s --y
rustup toolchain install $RUST_VERSION --profile minimal rustup toolchain install $RUST_VERSION --profile minimal
rustup default $RUST_VERSION rustup default $RUST_VERSION
cargo --version --verbose cargo --version --verbose

1
.github/workflows/acl2.yml → .github/archive/acl2.yml vendored
View File

@ -1,3 +1,4 @@
# This workflow is no longer in use as we have paused the ACL2 work on the Leo repo.
name: Leo-ACL2 name: Leo-ACL2
on: workflow_dispatch on: workflow_dispatch
env: env:

1
.github/workflows/markdown.yml → .github/archive/markdown.yml vendored
View File

@ -1,3 +1,4 @@
# This workflow is no longer in use as we do not have any Mermaid diagrams in the Leo repo.
name: Markdown Compiler name: Markdown Compiler
on: on: