Skip to content

Merge branch 'main' of github.com:detiuaveiro/trabalho1-113106-114629… #14

Merge branch 'main' of github.com:detiuaveiro/trabalho1-113106-114629…

Merge branch 'main' of github.com:detiuaveiro/trabalho1-113106-114629… #14

Workflow file for this run

name: GitHub Classroom Workflow
on:
- push
- workflow_dispatch
permissions:
checks: write
actions: read
contents: read
jobs:
build:
name: Autograding
runs-on: ubuntu-latest
if: github.actor != 'github-classroom[bot]'
steps:
- uses: actions/checkout@v4
- uses: education/autograding@v1