Show the Goal panel if it has lost focus · Deducteam/lambdapi@85355b7

Triggered via pull request April 25, 2024 13:35

fblanqui

edited #1081

Status Success

Total duration 8m 5s

Artifacts 1

main.yml

on: pull_request

Matrix: build_lambdapi

Produced during runtime

Name	Size
assets-for-download Expired	2.54 MB