Merge pull request #512 from binpash/undo-table-fix

Rename jobs. Undo posix issue when merging on main

.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"
 

.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:
 

.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]

.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\"')')