DGNum/dgsi

Fork 0

feat(shell): Add shell.nix #36

Open

mdebray wants to merge 1 commit from shell into main

mdebray commented

2025-10-02 11:37:10 +02:00

Owner

No description provided.

mdebray added 1 commit

2025-10-02 11:37:10 +02:00

feat(shell): Add shell.nix

Check that artifacts are already generated / up-to-date (pull_request) Failing after 14s

Details

Build the packages / dgsi-build (pull_request) Successful in 19s

Details

ed581660fb

mdebray force-pushed shell from ed581660fb to d8adb399de

2025-10-02 11:45:56 +02:00

Compare

Build the packages / dgsi-build (pull_request) Successful in 19s

Details

Check that artifacts are already generated / up-to-date (pull_request) Successful in 23s

Details

This pull request is blocked because it's outdated.

This branch is out-of-date with the base branch

You are not authorized to merge this pull request.

View command line instructions

Checkout

From your project repository, check out a new branch and test the changes.

git fetch -u origin shell:shell

git switch shell

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: DGNum/dgsi#36

No description provided.

Rows
Columns