Autograde Selfie Assignment

Fixing hex literal issue with bitwuzla #1258

Sign in to view logs

Triggered via push June 25, 2024 12:36

ckirsch

rotor

Status Success

Total duration 17s

Artifacts –

grader.yml

on: push

Run autograder on linux

Run autograder on macOS