Backend support for update and uninterpreted functions #21

Sign in to view logs

Triggered via pull request March 14, 2024 17:39

ondrej33

synchronize #28

dev-functions-backend

Status Success

Total duration 5m 5s

Artifacts –

rust-lint.yml

on: pull_request