indexing dbpath: do not call getenv since it may fail · fblanqui/lambdapi@690adab

Triggered via push June 24, 2024 11:39

fblanqui

nogetenv

Status Success

Total duration 11m 30s

Artifacts 1

main.yml

on: push

Matrix: build_lambdapi

Produced during runtime

Name	Size
assets-for-download Expired	2.54 MB