added build on main branch push #5

Merged
gulp1n merged 8 commits from add-PR-build-action into main 2025-10-07 17:08:42 +00:00
Owner
No description provided.
gulp1n self-assigned this 2025-10-07 17:02:55 +00:00
init
Some checks failed
build / build (pull_request) Failing after 46s
36a6bc9b4b
changed link
Some checks failed
build / build (pull_request) Failing after 1m36s
3ed7ee8f1a
third try the charm or something like that
Some checks failed
build / build (pull_request) Failing after 2m22s
ba0f4feb07
fourth time's the actual charm
Some checks failed
build / build (pull_request) Failing after 6s
bbde9b20e1
urm actually fith time's the charm
All checks were successful
build / build (pull_request) Successful in 39s
7c9480b0c8
fith time was infact the charm
All checks were successful
build / build (pull_request) Successful in 36s
371524f8cc
Merge branch 'main' into add-PR-build-action
All checks were successful
build / build (pull_request) Successful in 36s
60eb325d8e
added build on push to main to the builder
All checks were successful
build / build (pull_request) Successful in 38s
5ffff1bf9f
gulp1n force-pushed add-PR-build-action from 5ffff1bf9f to 9527fd0fa4 2025-10-07 17:05:34 +00:00 Compare
Tiebe scheduled this pull request to auto merge when all checks succeed 2025-10-07 17:07:34 +00:00
Tiebe canceled auto merging this pull request when all checks succeed 2025-10-07 17:07:50 +00:00
Tiebe approved these changes 2025-10-07 17:08:23 +00:00
gulp1n merged commit 45905f1591 into main 2025-10-07 17:08:42 +00:00
gulp1n referenced this pull request from a commit 2025-10-07 17:08:44 +00:00
Sign in to join this conversation.
No reviewers
No labels
No milestone
No project
No assignees
2 participants
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: TUe/ZweedsPesten#5
No description provided.