Bump avsm/setup-ocaml from 2 to 3 (#1125) · Deducteam/lambdapi@e119c8c

Triggered via push July 8, 2024 15:14

fblanqui

master

Status Success

Total duration 10m 59s

Artifacts 1

main.yml

on: push

Matrix: build_lambdapi

Produced during runtime

Name	Size
assets-for-download Expired	2.54 MB