gitlab-ci

Clean up makefile and occamygen #53

Sign in to view logs

Triggered via pull request September 3, 2024 13:26

opened #30

fanchen/clean-makefile-and-occamygen

Status Success

Total duration 13s

Artifacts –

gitlab-ci.yaml

on: pull_request

Internal Gitlab CI