Gemeinsame Changes von Discord #19

Merged
i22005 merged 7 commits from Tests into main 2024-07-02 12:50:57 +00:00
Collaborator
No description provided.
i22011 added 7 commits 2024-07-01 21:59:04 +00:00
Reflections: not running
Some checks are pending
Gitea Actions Demo / Explore-Gitea-Actions (push) Waiting to run
bea71838ac
Merge branch 'main' into Tests
Some checks are pending
Gitea Actions Demo / Explore-Gitea-Actions (push) Waiting to run
18fc17b707
small changes
Some checks are pending
Gitea Actions Demo / Explore-Gitea-Actions (push) Waiting to run
294df16e89
Merge branch 'main' into Tests
Some checks are pending
Gitea Actions Demo / Explore-Gitea-Actions (push) Waiting to run
21da31dee3
small changes
Some checks are pending
Gitea Actions Demo / Explore-Gitea-Actions (push) Waiting to run
3500ffd377
gemeinsame dc changes
Some checks are pending
Gitea Actions Demo / Explore-Gitea-Actions (push) Waiting to run
92990e4042
i22005 approved these changes 2024-07-02 12:50:53 +00:00
i22005 merged commit 775beb60fe into main 2024-07-02 12:50:57 +00:00
Sign in to join this conversation.
No reviewers
No Label
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: i22005/NichtHaskell2.0#19
No description provided.