Skip to content

Comments

Configure website deployment#79

Merged
alessandromuresan merged 1 commit intomainfrom
feature/deployment
Feb 19, 2026
Merged

Configure website deployment#79
alessandromuresan merged 1 commit intomainfrom
feature/deployment

Conversation

@alessandromuresan
Copy link
Member

@alessandromuresan alessandromuresan commented Feb 19, 2026

Description

  • Added a Dockerfile that bundles the repo files and runs a startup script that runs the website via uv [...]
  • Added a deployment script and a GitHub action that calls it whenever someone pushes to main
  • The action uses a gated environment, so we're safe security-wise

@alessandromuresan alessandromuresan self-assigned this Feb 19, 2026
@alessandromuresan alessandromuresan force-pushed the feature/deployment branch 3 times, most recently from e9bb90f to 0857a14 Compare February 19, 2026 15:01
@alessandromuresan alessandromuresan merged commit 695d147 into main Feb 19, 2026
11 checks passed
@alessandromuresan alessandromuresan deleted the feature/deployment branch February 19, 2026 15:06
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@cristipufu cristipufu cristipufu approved these changes

Assignees

@alessandromuresan alessandromuresan

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

2 participants

@alessandromuresan @cristipufu