Autograde Selfie Assignment

Fixing smt id prefix, bitwuzla works now #1260

Sign in to view logs

Triggered via push June 27, 2024 14:25

ckirsch

rotor

Status Success

Total duration 20s

Artifacts –

grader.yml

on: push

Run autograder on linux

Run autograder on macOS