delete mode 100644 .circleci/config.yml
 create mode 100644 .github/workflows/push.yml
 create mode 100755 build_release.sh
 delete mode 100755 download_zig.sh
 create mode 100755 release_num.sh