Added scheduled release workflow

Author: pksunkara

.github/workflows/ci.yml

@@ -16,12 +16,16 @@ jobs:
         rust: [stable, nightly]
     steps:
       - name: Checkout the source code
-        uses: actions/checkout@master
+        uses: actions/checkout@v2
         with:
           fetch-depth: 1
 
-      - name: Setup Rust ${{ matrix.rust }}
-        run: rustup set profile minimal && rustup update ${{ matrix.rust }} --no-self-update && rustup default ${{ matrix.rust }}
+      - name: Install Rust toolchain
+        uses: actions-rs/toolchain@v1
+        with:
+          toolchain: ${{ matrix.rust }}
+          profile: minimal
+          override: true
 
       - name: Build chalk-engine without default features
         run: cd chalk-engine && cargo build --no-default-features
@@ -69,27 +73,28 @@ jobs:
     runs-on: ubuntu-latest
     steps:
       - name: Checkout the source code
-        uses: actions/checkout@master
+        uses: actions/checkout@v2
         with:
           fetch-depth: 1
 
-      - name: Setup Rust stable with rustfmt
-        run: |
-          rustup set profile minimal
-          rustup update stable --no-self-update
-          rustup default stable
-          rustup component add rustfmt
+      - name: Install Rust toolchain
+        uses: actions-rs/toolchain@v1
+        with:
+          toolchain: stable
+          profile: minimal
+          override: true
+          components: rustfmt
 
       - name: Check formatting of all crates in the workspace
         run: cargo fmt --all -- --check
-  
+
   mdbook-linkcheck:
     name: Book link check
     runs-on: ubuntu-latest
     if: github.ref != 'refs/heads/master'
     steps:
       - name: Checkout the source code
-        uses: actions/checkout@master
+        uses: actions/checkout@v2
         with:
           fetch-depth: 1
 

.github/workflows/publish.yml

@@ -0,0 +1,43 @@
+name: Publish
+on:
+  schedule:
+    - cron: "0 0 * * 0" # midnight UTC on Sunday
+
+jobs:
+  publish:
+    name: Publish
+    runs-on: macos-latest
+
+    steps:
+      - name: Checkout repository
+        uses: actions/checkout@v2
+        with:
+          ssh-key: ${{ secrets.PUBLISH_DEPLOY_KEY }}
+          fetch-depth: 0
+
+      - name: Install Rust toolchain
+        uses: actions-rs/toolchain@v1
+        with:
+          toolchain: stable
+          profile: minimal
+          override: true
+
+      - name: Install cargo-workspaces
+        uses: actions-rs/install@v0.1
+        with:
+          crate: cargo-workspaces
+
+      - name: Release
+        env:
+          CARGO_REGISTRY_TOKEN: ${{ secrets.CARGO_REGISTRY_TOKEN }}
+        shell: bash
+        run: |
+          git config --global user.name "Github Action"
+          cargo workspaces version -ay --force '*' --include-merged-tags --no-git-commit --exact patch
+          export VERSION=$(cargo pkgid | sed -E 's/.*#(.*)/\1/g')
+          sed -E -i '' $'s/(# Unreleased)/\\1\\\n\\\n# Release '"$VERSION/" RELEASES.md
+          git commit -am "Release $VERSION"
+          git tag "v$VERSION"
+          git push --tags
+          cargo publish --from-git
+          cargo workspaces version -ay --force '*' --include-merged-tags --no-git-tag --pre-id dev preminor

chalk-solve/Cargo.toml

@@ -21,7 +21,7 @@ chalk-engine = { version = "0.10.1-dev", path = "../chalk-engine", optional = tr
 chalk-ir = { version = "0.10.1-dev", path = "../chalk-ir", default-features = false }
 
 [dev-dependencies]
-chalk-integration = { version = "0.10.1-dev", path = "../chalk-integration" }
+chalk-integration = { path = "../chalk-integration" }
 
 [features]
 default = ["slg-solver", "recursive-solver"]