Skip to content

Add v15 to ci#9

Merged
yaacovCR merged 1 commit intomainfrom
pr
Oct 16, 2021
Merged

Add v15 to ci#9
yaacovCR merged 1 commit intomainfrom
pr

Conversation

@yaacovCR
Copy link
Copy Markdown
Owner

No description provided.

@yaacovCR yaacovCR force-pushed the pr branch 4 times, most recently from 124661a to 6d5a3c2 Compare October 16, 2021 18:18
@yaacovCR yaacovCR merged commit b3b4a59 into main Oct 16, 2021
@yaacovCR yaacovCR deleted the pr branch October 16, 2021 18:36
yaacovCR added a commit that referenced this pull request Aug 25, 2024
* add directive test

* add failing test
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant