Skip to content

Edit JSON format (#12) #58

Edit JSON format (#12)

Edit JSON format (#12) #58

Workflow file for this run

name: CI
on:
push:
branches: [ main ]
pull_request:
branches: [ main ]
jobs:
test:
runs-on: ubuntu-latest
steps:
- name: Checkout code
uses: actions/checkout@v3
with:
submodules: true
- name: Install dependencies
run: sudo apt-get update && sudo apt-get install -y cmake make build-essential g++ clang autoconf javacc patchelf openjdk-8-jdk maven m4 tar lzip libfftw3-dev
- name: Clone FHE libraries
run: |
chmod +x src/main/java/T2-FHE-Compiler-and-Benchmarks/.circleci/clone_libs.sh
src/main/java/T2-FHE-Compiler-and-Benchmarks/.circleci/clone_libs.sh
- name: Build FHE libraries
run: |
chmod +x src/main/java/T2-FHE-Compiler-and-Benchmarks/.circleci/build_libs.sh
src/main/java/T2-FHE-Compiler-and-Benchmarks/.circleci/build_libs.sh
- name: Build T2
run: sbt buildT2
- name: run basicTest
env:
FHETEST_HOME: ${{ github.workspace }}
run: |
sbt basicTest
lint:
runs-on: ubuntu-latest
steps:
- name: Checkout code
uses: actions/checkout@v3
- name: Check code format
run: sbt formatCheck