Skip to content

CI on UNIBO premises - #97

Open
FrancescoConti wants to merge 3 commits into
mainfrom
fc/unibo-ci
Open

CI on UNIBO premises#97
FrancescoConti wants to merge 3 commits into
mainfrom
fc/unibo-ci

Conversation

@FrancescoConti

@FrancescoConti FrancescoConti commented Aug 6, 2026

Copy link
Copy Markdown
Member

This PR moves CI to local UNIBO premises in place of shared IIS runners.
It also removes regressions running on ri5cy.

This commit switches magia to use unibo-based infrastructure instead
of iis-git.
Running bender update is 1) dangerous and should be done consciously
2) breaks CI on the UNIBO flow for some reason (maybe a Bender.yml
somewhere with SSH deps?)
@FrancescoConti
FrancescoConti marked this pull request as ready for review August 6, 2026 19:33
@FrancescoConti FrancescoConti changed the title Test commit for unibo-based mirroring CI on UNIBO premises Aug 6, 2026
@FrancescoConti FrancescoConti self-assigned this Aug 6, 2026

@rfiorani rfiorani left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM!

@FrancescoConti

Copy link
Copy Markdown
Member Author

I could not test the push from GitHub because GitHub actions are currently broken, but the pipeline seems to be now working fine on GitLab side. Needs a bit of cleanup though (squashing a few "update nonfree" commits in particular)

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