Makefile CI

BLOCKED: feat: `withInstantiatMainGoal` combinator to eagerly instantiate goal metavariables #2143

Sign in to view logs

Triggered via pull request October 3, 2024 17:54

alexkeizer

opened #212

with-instantiate-goal

Status Success

Total duration 20m 47s

Artifacts –

makefile.yml

on: pull_request

Matrix: build

Annotations

1 warning

build (macos-14)

Cache save failed.