kryddan/exjobb-public
1
0
Fork 0
Code Issues 2 Pull Requests Actions Packages Projects Releases Wiki Activity

scripts-docker-ghdl #5

Closed
kryddan wants to merge 0 commits from scripts-docker-ghdl into main
pull from: scripts-docker-ghdl
merge into: kryddan:main
Conversation 0 Commits - Files Changed -
kryddan commented 2025-02-14 13:53:14 +01:00
Owner
Copy Link

Improvements to gantry, along with install scripts for both gantry and GHDL via docker

Improvements to gantry, along with install scripts for both gantry and GHDL via docker
kryddan added 4 commits 2025-02-14 13:53:14 +01:00
kryddan requested review from Adam 2025-02-14 13:53:19 +01:00
kryddan closed this pull request 2025-02-14 14:03:06 +01:00
kryddan deleted branch scripts-docker-ghdl 2025-02-14 14:03:17 +01:00

Pull request closed

This pull request cannot be reopened because the branch was deleted.
Sign in to join this conversation.
Reviewers
No Reviewers
Adam
Labels
No items
No Label
Milestone
No items
No Milestone
Projects
Clear projects
No project
Assignees
Clear assignees
No Assignees
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: kryddan/exjobb-public#5
No description provided.
Delete Branch "scripts-docker-ghdl"

Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?