Autograde Selfie Assignment

Consolidating BTOR2 procedures #1000

Sign in to view logs

Triggered via push December 9, 2023 15:04

Status Success

Total duration 1m 13s

Artifacts –

grader.yml

on: push

Run autograder on linux

Run autograder on macOS