diff --git a/.github/workflows/cicd.yaml b/.github/workflows/cicd.yaml index f8529bad7..e442afed6 100644 --- a/.github/workflows/cicd.yaml +++ b/.github/workflows/cicd.yaml @@ -1,4 +1,4 @@ -name: Pash-CI-issue +name: Performance on: # Trigger the workflow on push or pull request, # but only for the main branch @@ -23,9 +23,9 @@ jobs: hash=$(git rev-parse --short HEAD | tr -d "\n") # construct the url for performance and correctness perf="http://ctrl.pash.ndr.md/job=issue&branch=main&benchmark=PERFORMANCE&commit=$hash" - cor="http://ctrl.pash.ndr.md/job=issue&branch=main&benchmark=CORRECTNESS&commit=$hash" + #cor="http://ctrl.pash.ndr.md/job=issue&branch=main&benchmark=CORRECTNESS&commit=$hash" # issue the correctness tests - curl -s "$cor" + #curl -s "$cor" # issue the performance tests curl -s "$perf" diff --git a/.github/workflows/futureci.yaml b/.github/workflows/futureci.yaml index 2c3bc3a60..aca3d7a58 100644 --- a/.github/workflows/futureci.yaml +++ b/.github/workflows/futureci.yaml @@ -1,4 +1,4 @@ -name: Pash-future-CI-issue +name: Tight-Loop Test on: # Run the for-loop tests when pushing to future or when creating a new PR push: @@ -18,7 +18,7 @@ on: - evaluation/** - annotations/** jobs: - future-ci: + tight-loop: runs-on: ubuntu-latest steps: diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index 054b34c51..0d062e154 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -1,4 +1,4 @@ -name: Pash-Correctness-Tests +name: Tests on: pull_request_target: types: [assigned, opened, synchronize, reopened, ready_for_review] diff --git a/.github/workflows/posix.yaml b/.github/workflows/posix.yaml index d46c0f737..960dd159f 100644 --- a/.github/workflows/posix.yaml +++ b/.github/workflows/posix.yaml @@ -1,15 +1,8 @@ -name: Posix-CI +name: Posix Correctness on: - push: - branches: - - main - paths: - - compiler/** - - runtime/** - - evaluation/** - - annotations/** pull_request_target: types: [assigned, opened, synchronize, reopened, ready_for_review] + # the paths that trigger the ci paths: - compiler/** - runtime/** @@ -37,7 +30,7 @@ jobs: # poll until we get the results while true; do echo "Sleeping" - sleep 30; + sleep 360; # fetch some of the latest results in case some other actions happened data=$(curl -s "ctrl.pash.ndr.md/job=fetch_runs&count=50"); results=$(echo $data | jq '.rows | .[] | select(.commit=='\"$commit\"')')