Reopen the goals panel if closed when navigating proofs · Deducteam/lambdapi@4e9133b

Triggered via pull request March 19, 2024 10:29

Alidra

synchronize #1068

Status Success

Total duration 7m 54s

Artifacts 1

main.yml

on: pull_request

Matrix: build_lambdapi

Produced during runtime

Name	Size
assets-for-download Expired	2.54 MB