WIP: draft/ports-diff #5

Closed
deberon wants to merge 14 commits from draft/ports-diff into main
Owner
No description provided.
using local diff action
Some checks failed
/ build (pull_request) Has been cancelled
f74bde67ba
removing diff
Some checks failed
/ build (pull_request) Failing after 11s
69fa0c7abe
removing --local
Some checks failed
/ build (pull_request) Failing after 10s
71da313736
using cd instead of git -C
Some checks failed
/ build (pull_request) Failing after 1s
0baed8cbf8
moving cd
Some checks failed
/ build (pull_request) Failing after 11s
28b846064d
debug
Some checks failed
/ build (pull_request) Failing after 1s
dd3540a6bc
adding git variables
Some checks failed
/ build (pull_request) Failing after 2s
c5ebdd7b0f
remove debug
Some checks failed
/ build (pull_request) Failing after 15s
65dace6284
using diff.sh output file
All checks were successful
/ build (pull_request) Successful in 15s
02a842559e
using filename as artifact name
All checks were successful
/ build (pull_request) Successful in 16s
7481d88c47
proper interpolation
All checks were successful
/ build (pull_request) Successful in 15s
73a58936d4
deberon closed this pull request 2026-04-16 12:51:44 +00:00
All checks were successful
/ build (pull_request) Successful in 15s

Pull request closed

Sign in to join this conversation.
No reviewers
No labels
No milestone
No project
No assignees
1 participant
Notifications
Due date
The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set.

Reference
ports/nickel-lang!5
No description provided.