Skip to content
CI tests

extend add_theory_atom method of backend #559

Sign in to view logs

extend add_theory_atom method of backend

extend add_theory_atom method of backend #559

Triggered via pull request October 17, 2023 13:08
@rkaminskrkaminsk
synchronize #461
feature/improve-add-theory
Status Success
Total duration 23m 8s
Artifacts –

test.yml

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