Backend support for update and uninterpreted functions #16

Sign in to view logs

Triggered via pull request March 12, 2024 13:37

ondrej33

synchronize #28

dev-functions-backend

Status Success

Total duration 4m 57s

Artifacts –

rust-lint.yml

on: pull_request