Skip to content

Directly run commands in ci container#33

Merged
urfeex merged 21 commits intomasterfrom
update_ci
Dec 4, 2025
Merged

Directly run commands in ci container#33
urfeex merged 21 commits intomasterfrom
update_ci

Conversation

@urfeex
Copy link
Member

@urfeex urfeex commented Feb 17, 2025

The current action is still from the time where we didn't have the URSim docker image available.

This PR modernizes the CI by

  • using the published URSim Image
  • Make it more robust in terms of waiting for the dashboard server
  • Run everything in the same container rather than building a custom one.

@urfeex urfeex force-pushed the update_ci branch 2 times, most recently from c5365f9 to 40ab143 Compare February 17, 2025 16:10
@urfeex urfeex requested a review from a team December 1, 2025 16:55
@urfeex urfeex marked this pull request as ready for review December 1, 2025 16:55
@urfeex urfeex merged commit 1a7cd7a into master Dec 4, 2025
4 checks passed
@urfeex urfeex deleted the update_ci branch December 4, 2025 08:30
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.

2 participants