Autograde Selfie Assignment

Acknowledging SMT-LIB support in header comment #1262

Sign in to view logs

Triggered via push June 27, 2024 16:25

ckirsch

rotor

Status Success

Total duration 13s

Artifacts –

grader.yml

on: push

Run autograder on linux

Run autograder on macOS