Skip to content

add github workflow and remove makefiles #1

add github workflow and remove makefiles

add github workflow and remove makefiles #1

This workflow is awaiting approval from a maintainer in #9
Triggered via pull request October 31, 2024 18:56
Status Action required
Total duration
Artifacts
This workflow is awaiting approval from a maintainer in #9

ci-lib.yaml

on: pull_request
ubuntu-chez
ubuntu-chez
Fit to window
Zoom out
Zoom in