Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Add GH workflow to FreeRTOS central repository #181

Open
1 task
karkhaz opened this issue Jan 12, 2023 · 2 comments
Open
1 task

Add GH workflow to FreeRTOS central repository #181

karkhaz opened this issue Jan 12, 2023 · 2 comments
Assignees
@karkhaz
Milestone
Initial Proof CI ...

Comments

@karkhaz
Copy link
Contributor

karkhaz commented Jan 12, 2023 •
edited
Loading

@karkhaz karkhaz added this to the Initial Proof CI integration milestone Jan 12, 2023
@karkhaz karkhaz assigned karkhaz and unassigned angelonakos Jan 25, 2023
@karkhaz
Copy link
Contributor Author

karkhaz commented Feb 17, 2023

Here is a run of a coreMQTT-Agent pull request that uses a 'centralized' Proof CI definition from my fork of the FreeRTOS central CI repo.

@karkhaz
Copy link
Contributor Author

karkhaz commented Feb 17, 2023

FreeRTOS/CI-CD-Github-Actions#58

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@karkhaz karkhaz

Labels
None yet
Projects
None yet
Milestone
Initial Proof CI integration
Development

No branches or pull requests
2 participants
@karkhaz @angelonakos