diff --git a/.github/workflows/nightly-ci.yml b/.github/workflows/nightly-ci.yml new file mode 100644 index 000000000..1ce7cd74b --- /dev/null +++ b/.github/workflows/nightly-ci.yml @@ -0,0 +1,48 @@ +name: Nightly CI + +on: + schedule: + - cron: "0 0 * * *" + workflow_dispatch: + +jobs: + observability: + name: "User Story - Telemetry" + runs-on: ubuntu-latest + steps: + - uses: actions/checkout@v3 + - uses: actions/setup-python@v3 + with: + python-version: "3.10" + - name: Deps + run: 'sudo apt-get update && sudo apt-get install -y jq' + - name: Install + run: './extremely-simple-setup.sh && pip install --no-build-isolation -e ./angr[telemetry] opentelemetry-sdk' + - name: Run + run: | + cd .. && python3 <