Reopen the goals panel if closed when navigating proofs (#1068) · fblanqui/lambdapi@abe073d

Triggered via push March 19, 2024 17:43

fblanqui

master

Status Success

Total duration 11m 28s

Artifacts 1

main.yml

on: push

Matrix: build_lambdapi

Produced during runtime

Name	Size
assets-for-download Expired	2.54 MB