Skip to content
This repository was archived by the owner on Aug 29, 2023. It is now read-only.

Updating archive #10

Merged
merged 1 commit into from
Aug 24, 2023
Merged

Updating archive #10

merged 1 commit into from
Aug 24, 2023

Conversation

ineiti
Copy link
Member

@ineiti ineiti commented Aug 22, 2023

The previous archive didn't work correctly, so here is a version with an automatic github workflow to create the docker image

The previous archive didn't work correctly, so here is a version
with an automatic github workflow to create the docker image
@ineiti ineiti self-assigned this Aug 22, 2023
@ineiti ineiti requested review from lanterno and PascalinDe August 23, 2023 12:43
Copy link
Member

@PascalinDe PascalinDe left a comment

Choose a reason for hiding this comment

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

LGTM

@ineiti ineiti merged commit 502a72c into main Aug 24, 2023
@ineiti ineiti deleted the archive_update branch August 24, 2023 15:33
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
Status: Done
Development

Successfully merging this pull request may close these issues.

2 participants