Reorganize github workflows and use specific label [skip circleci] (#2297)

* Use post job to set workflow status

* Apply post_job trick to bench and nix

* Change label to skip circleci

* Delete setup cache ide step

* Skip circle ci when skipping gh

* No skip circleci if its config change

* Look for skip label in comments as well

* Add missing condition

* Use a explicit github token