mirror of
https://github.com/ProvableHQ/leo.git
synced 2024-12-23 10:12:21 +03:00
test bubblesort in circleci
This commit is contained in:
parent
5cb6150b39
commit
02092b055d
@ -40,8 +40,6 @@ commands:
|
||||
paths:
|
||||
- .cache/sccache
|
||||
- .cargo
|
||||
# orbs:
|
||||
# codecov: codecov/codecov@1.2.3
|
||||
|
||||
jobs:
|
||||
check-style:
|
||||
@ -76,48 +74,6 @@ jobs:
|
||||
cargo +nightly clippy --workspace --all-targets --all-features -- -D warnings
|
||||
- clear_environment:
|
||||
cache_key: leo-clippy-cache
|
||||
|
||||
# code-cov:
|
||||
# docker:
|
||||
# - image: cimg/rust:1.62
|
||||
# resource_class: xlarge
|
||||
# environment:
|
||||
# RUSTC_BOOTSTRAP: 1
|
||||
# steps:
|
||||
# - checkout
|
||||
# - setup_environment:
|
||||
# cache_key: leo-codecov-cache
|
||||
# - run:
|
||||
# name: Build and run tests
|
||||
# no_output_timeout: 30m
|
||||
# command: cargo test --all
|
||||
# - run:
|
||||
# name: Install Code Cov Deps
|
||||
# no_output_timeout: 30m
|
||||
# command: |
|
||||
# sudo apt-get update
|
||||
# sudo apt-get -y install binutils-dev libcurl4-openssl-dev zlib1g-dev libdw-dev libiberty-dev
|
||||
# - run:
|
||||
# name: Generate Coverage Report
|
||||
# no_output_timeout: 30m
|
||||
# command: |
|
||||
# wget https://github.com/SimonKagstrom/kcov/archive/master.tar.gz
|
||||
# tar xzf master.tar.gz
|
||||
# cd kcov-master
|
||||
# mkdir build && cd build
|
||||
# cmake .. && make
|
||||
# make install DESTDIR=../../kcov-build
|
||||
# cd ../..
|
||||
# rm -rf kcov-master
|
||||
# for file in target/debug/deps/*-*; do if [[ "$file" != *\.* ]]; then mkdir -p "target/cov/$(basename $file)"; ./kcov-build/usr/local/bin/kcov --exclude-pattern=/.cargo,/usr/lib --exclude-region='@kcov_skip(start):@kcov_skip(end)' --verify "target/cov/$(basename $file)" "$file"; fi done
|
||||
# steps:
|
||||
# - codecov/upload:
|
||||
# file: {{}}
|
||||
# - persist_to_workspace:
|
||||
# root: ~/
|
||||
# paths: project/
|
||||
# - clear_environment:
|
||||
# cache_key: leo-codecov-cache
|
||||
|
||||
leo-executable:
|
||||
docker:
|
||||
@ -177,6 +133,18 @@ jobs:
|
||||
export LEO=/home/circleci/project/project/bin/leo
|
||||
./project/.circleci/test-helloworld.sh
|
||||
|
||||
test-bubblesort:
|
||||
docker:
|
||||
- image: cimg/rust:1.62
|
||||
resource_class: xlarge
|
||||
steps:
|
||||
- attach_workspace:
|
||||
at: /home/circleci/project/
|
||||
- run:
|
||||
name: test bubblesort
|
||||
command: |
|
||||
export LEO=/home/circleci/project/project/bin/leo
|
||||
./project/.circleci/test-bubblesort.sh
|
||||
workflows:
|
||||
version: 2
|
||||
main-workflow:
|
||||
@ -193,3 +161,6 @@ workflows:
|
||||
- test-helloworld:
|
||||
requires:
|
||||
- leo-executable
|
||||
- test-bubblesort:
|
||||
requires:
|
||||
- leo-executable
|
5
.circleci/test-bubblesort.sh
Executable file
5
.circleci/test-bubblesort.sh
Executable file
@ -0,0 +1,5 @@
|
||||
# Build and run the bubblesort Leo program.
|
||||
cd ./project/examples/bubblesort
|
||||
|
||||
# Run `leo run`.
|
||||
$LEO run
|
Loading…
Reference in New Issue
Block a user