cswimr/SeaCogs

Remove the dev container #68

Merged

cswimr merged 1 commit from remove-devcontainer into main

2025-03-28 11:05:01 -04:00

cswimr commented

2025-03-28 11:04:54 -04:00

Owner

I no longer need the dev container, as I use neovim where this isn't useful to me, and the nix flake is plenty good enough.

By submitting this pull request, I permit cswimr to license my work under
the Mozilla Public License Version 2.0.

I no longer need the dev container, as I use neovim where this isn't useful to me, and the nix flake is plenty good enough.  - [x] By submitting this pull request, I permit [cswimr](https://www.coastalcommits.com/cswimr) to license my work under the [Mozilla Public License Version 2.0](https://www.coastalcommits.com/cswimr/SeaCogs/src/branch/main/LICENSE).

cswimr self-assigned this 2025-03-28 11:04:54 -04:00

cswimr added 1 commit 2025-03-28 11:04:54 -04:00

chore(repo): remove the dev container

Actions / Build Documentation (MkDocs) (pull_request) Successful in 36s

Details

Actions / Lint Code (Ruff & Pylint) (pull_request) Failing after 38s

Details

98f5fa743c

cswimr merged commit cc1745a9d2 into main

2025-03-28 11:05:01 -04:00

cswimr deleted branch remove-devcontainer

2025-03-28 11:05:01 -04:00

cswimr referenced this pull request from a commit

2025-03-28 11:05:03 -04:00

Remove the dev container (#68)

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: cswimr/SeaCogs#68

No description provided.