Makefile CI

feat: Decidable instances for mem_legal', mem_subset', mem_separate' … #144

Sign in to view logs

Triggered via push September 19, 2024 17:12

pennyannn

main

Status Success

Total duration 10m 22s

Artifacts –

makefile.yml

on: push

Matrix: build

Annotations

1 warning

build (macos-14)

Cache save failed.