Skip to content
CI tests

extend add_theory_atom method of backend (#461) #561

Sign in to view logs

extend add_theory_atom method of backend (#461)

extend add_theory_atom method of backend (#461) #561

Re-run triggered October 17, 2023 13:31
@rkaminskrkaminsk
b70ed6d
wip
Status Success
Total duration 16m 57s
Artifacts –

test.yml

on: push
Matrix: build
Fit to window
Zoom out
Zoom in