Skip to content

Add Alt-Ergo

Add Alt-Ergo #275

Triggered via pull request October 9, 2024 19:23
Status Success
Total duration 16m 12s
Artifacts

test-z3.yml

on: pull_request
Fit to window
Zoom out
Zoom in