Tests

Update SMT 2.0 paper reference from 2023 to 2024 #839

Sign in to view logs

Triggered via pull request January 15, 2024 23:27

Paul-Saves

synchronize #502

Paul-Saves:master

Status Success

Total duration 7m 4s

Artifacts –

tests.yml

on: pull_request

Matrix: test