Local runner for GitHub autograder
0
fork

Configure Feed

Select the types of activity you want to include in your feed.

Release Workflow

Ben C abae58ea 8aaaced4

+46
+46
.github/workflows/release.yml
··· 1 + 2 + on: 3 + workflow_dispatch: 4 + inputs: 5 + tag: 6 + description: Version Tag 7 + type: string 8 + 9 + permissions: 10 + contents: write 11 + 12 + jobs: 13 + release: 14 + name: Release 15 + runs-on: ubuntu-latest 16 + steps: 17 + - name: Checkout Repo 18 + uses: actions/checkout@v5 19 + 20 + - name: Rust Toolchain 21 + uses: dtolnay/rust-toolchain@stable 22 + with: 23 + toolchain: stable 24 + 25 + - name: Build 26 + run: | 27 + cargo build --release 28 + 29 + - name: Upload Binary Artifact 30 + uses: actions/upload-artifact@v4 31 + with: 32 + name: "gh-grader-preview" 33 + path: "target/release/gh-grader-preview" 34 + 35 + - name: Create Release 36 + uses: softprops/action-gh-release@v2 37 + with: 38 + name: GH Grader Preview ${{ inputs.tag }} 39 + tag_name: v${{ inputs.tag }} 40 + generate_release_notes: false 41 + draft: true 42 + files: | 43 + target/release/gh-grader-preview 44 + 45 + 46 +