Skip to content
CI tests

extend add_theory_atom method of backend #560

Sign in to view logs

extend add_theory_atom method of backend

extend add_theory_atom method of backend #560

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

test.yml

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