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.

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

Use same shebang everywhere #10

Closed
wants to merge 104 commits into from
Closed

Use same shebang everywhere #10

wants to merge 104 commits into from

Conversation

waliid
Copy link
Member

@waliid waliid commented Nov 13, 2024

No description provided.

waliid added 28 commits November 6, 2024 07:09
* Remove clean timeout

* Update branch name

* Move run-streams job

* Add install-tools.sh

* Update repo_url to avoid a space into it

* Fix ci script path

* Move scripts into dedicated files

* Checkout code because of two runners

* Write in /tmp

* Fix setup-project script

* Add more ci scripts

* Fix space

* Add constants file

* Use regex for certificate name

* Update token

* Use strategies
* Avoid to stop the VM

* Stop the VM instead of deleting it

Deleteing without stopping is impossible
* Reuse a VM instead of creating a new one

* Fix workflow

* Fix keychain management
* Fix delete vm workflow

* Update workflow name
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