CodeQL

[DO NOT MERGE] TLA+ type annotations #152

Sign in to view logs

Triggered via pull request March 11, 2024 17:28

lemmy

opened #66

lemmy:mku-apalache

Status Success

Total duration 2m 9s

Artifacts –

codeql.yml

on: pull_request

Matrix: Analyze