Named Branches

started z3 model checking and implemented known_ne #16

Sign in to view logs

Triggered via push October 30, 2024 11:15

nirit100

jit-relational

Status Success

Total duration 17s

Artifacts –

named-branches.yml

on: push

Annotations

1 warning

named-branches

The process '/usr/bin/git' failed with exit code 128