Makefile CI

feat: efficient axiomatization of effects (#129) #93

Sign in to view logs

Triggered via push September 4, 2024 20:17

pennyannn

main

Status Success

Total duration 8m 30s

Artifacts –

makefile.yml

on: push

Matrix: build