Skip to content
This repository has been archived by the owner on Jan 18, 2024. It is now read-only.

Cleaning examples #14

Open
wants to merge 4 commits into
base: dev-1.0
Choose a base branch
from

Conversation

Ducasse
Copy link

@Ducasse Ducasse commented Apr 15, 2023

Strange I thought I could merge

@Ducasse
Copy link
Author

Ducasse commented Apr 15, 2023

@tinchodias do we have a ci for Pac?
We should discuss a bit the status of Pac soon.

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant