Change CI concurrency policy to not queue on main (#8530)
-rw-r--r-- 942 .clang-format
drwxr-xr-x - .github
-rw-r--r-- 152 .gitignore
-rw-r--r-- 1517 .mailmap
-rw-r--r-- 144 .style.yapf
-rw-r--r-- 2063 AUTHORS
-rw-r--r-- 23493 CMakeLists.txt
-rw-r--r-- 2479 CONTRIBUTING.md
-rw-r--r-- 5347 COPYING
-rw-r--r-- 15432 INSTALL.rst
-rw-r--r-- 3136 NEWS
-rw-r--r-- 3285 README.md
-rw-r--r-- 2085 THANKS
drwxr-xr-x - cmake
-rwxr-xr-x 11545 configure.sh
drwxr-xr-x - contrib
drwxr-xr-x - docs
drwxr-xr-x - examples
drwxr-xr-x - licenses
drwxr-xr-x - proofs
drwxr-xr-x - src
drwxr-xr-x - test