Skip to content

Harden preset deletion#2

Merged
bhack merged 1 commit into
mainfrom
codex/harden-preset-deletion
Apr 29, 2026
Merged

Harden preset deletion#2
bhack merged 1 commit into
mainfrom
codex/harden-preset-deletion

Conversation

@bhack

@bhack bhack commented Apr 29, 2026

Copy link
Copy Markdown
Owner

No description provided.

Comment thread src/mini_eq/core.py Dismissed
@bhack bhack force-pushed the codex/harden-preset-deletion branch from e7abae0 to 2be6134 Compare April 29, 2026 01:06
Comment thread src/mini_eq/core.py Fixed
@bhack bhack force-pushed the codex/harden-preset-deletion branch 3 times, most recently from 352d1ae to 47bafd2 Compare April 29, 2026 01:11
Comment thread src/mini_eq/core.py Fixed
Comment thread src/mini_eq/core.py Fixed
Comment thread src/mini_eq/core.py Fixed
@bhack bhack force-pushed the codex/harden-preset-deletion branch from 47bafd2 to ebee2a8 Compare April 29, 2026 01:13
@bhack bhack force-pushed the codex/harden-preset-deletion branch from ebee2a8 to 888227c Compare April 29, 2026 01:18
@bhack bhack merged commit fdb64cf into main Apr 29, 2026
9 checks passed
@bhack bhack deleted the codex/harden-preset-deletion branch April 29, 2026 01:23
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