Skip to content

an array that is not empty - simple#689

Open
patroza wants to merge 2 commits into
mainfrom
r/non-empty-array
Open

an array that is not empty - simple#689
patroza wants to merge 2 commits into
mainfrom
r/non-empty-array

Conversation

@patroza

@patroza patroza commented Apr 23, 2026

Copy link
Copy Markdown
Member

An Array that is not empty - simple
#664

@patroza

patroza commented May 6, 2026

Copy link
Copy Markdown
Member Author

@copilot update to latest main, lint-fix, check

# Conflicts:
#	packages/effect-app/src/Schema/ext.ts

Co-authored-by: patroza <42661+patroza@users.noreply.github.com>

Copilot AI commented May 6, 2026

Copy link
Copy Markdown
Contributor

@copilot update to latest main, lint-fix, check

Done in 9b945f3. Merged latest main (resolved conflict in Schema/ext.ts), ran lint-fix (no changes needed), and pnpm check passes.

Copilot finished work on behalf of patroza May 6, 2026 18:37
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants