Tests

Update SMT 2.0 paper reference from 2023 to 2024 (#502) #840

Sign in to view logs

Triggered via push January 16, 2024 07:29

relf

master

Status Success

Total duration 7m 4s

Artifacts –

tests.yml

on: push

Matrix: test