.github/workflows/main.yml

rename dummy_var into negated_conjecture #30

Sign in to view logs

Triggered via pull request July 18, 2024 12:12

fblanqui

opened #36

fblanqui:dummy_var

Status Success

Total duration 1m 47s

Artifacts –

main.yml

on: pull_request

Matrix: build_lambdapi