fix ci #200

Merged

v merged 12 commits from ci into main 2023-09-09 16:18:16 +02:00

Conversation 0 Commits 12 Files changed 6 +29 -9

v commented 2023-09-09 16:13:32 +02:00

Owner

Copy link

No description provided.

v added 11 commits 2023-09-09 16:13:32 +02:00

ci-test 4cdf69c21e

deps 97e0afdfa6

deps 2 82b1f853ad

deps 3 788b6c9437

deps 4 f37dee7e3f

deps 5 7fb5ed7ead

test nix in ci 79c9447175

more ci stuff 78230a3b0a

more ci stuff 2 a127b341c3

more ci stuff 3 850f90cb11

more ci stuff 4 e91fcdedda

v added 1 commit 2023-09-09 16:14:44 +02:00

more ci stuff 5 d33ef0c158

v merged commit 6bb6d4ae91 into main 2023-09-09 16:18:16 +02:00

v deleted branch ci 2023-09-09 16:18:17 +02:00

v referenced this pull request from a commit 2023-09-09 16:18:17 +02:00

fix ci (#200)

Sign in to join this conversation.

Reviewers

No reviewers

Labels

Clear labels

No items

No labels

Milestone

Clear milestone

No items

No milestone

Projects

Clear projects

No items

No project

Assignees

Clear assignees

No assignees

1 participant

Notifications

Subscribe

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: v/infrastructure#200

No description provided.