CI

Add reverse reflexive-transitive closure to `STS` #20

Sign in to view logs

Triggered via pull request January 6, 2025 12:37

synchronize #6

javierdiaz72/sts-reverse-rtc

Status Success

Total duration 8m 14s

Artifacts –

ci.yaml

on: pull_request

Build libraries