Skip to content

Codex/presentation rules view - #505

Merged
Joseph-Edwards merged 4 commits into
libsemigroups:mainfrom
james-d-mitchell:codex/presentation-rules-view
Sep 18, 2026
Merged

Joseph-Edwards merged 4 commits into
libsemigroups:mainfrom
james-d-mitchell:codex/presentation-rules-view

Conversation

@james-d-mitchell

Copy link
Copy Markdown
Member

A second attempt at resolving #391

@james-d-mitchell
james-d-mitchell force-pushed the codex/presentation-rules-view branch 2 times, most recently from 566a80c to 27080eb Compare September 12, 2026 17:56
@james-d-mitchell
james-d-mitchell force-pushed the codex/presentation-rules-view branch 2 times, most recently from 18367f3 to 4914b47 Compare September 12, 2026 18:02
@james-d-mitchell james-d-mitchell added the bug-fix Label for PRs that fix a bug label Sep 14, 2026
Comment thread src/present.cpp Outdated
Comment thread src/present.cpp Outdated
Comment thread src/present.cpp
Comment thread src/present.cpp
Comment thread src/present.cpp
Comment thread src/present.cpp Outdated
Comment thread src/present.cpp Outdated
Comment thread src/present.cpp Outdated
@james-d-mitchell

Copy link
Copy Markdown
Member Author

Thanks @Joseph-Edwards those all make sense, will fix asap

@james-d-mitchell
james-d-mitchell force-pushed the codex/presentation-rules-view branch from 3b19a61 to afbeec5 Compare September 17, 2026 14:37
Assisted-by: Codex OpenAI <codex@openai.com>
Assisted-by: Codex OpenAI <codex@openai.com>
Assisted-by: Codex OpenAI <codex@openai.com>
@james-d-mitchell
james-d-mitchell force-pushed the codex/presentation-rules-view branch from e57f647 to 2e0eaca Compare September 18, 2026 08:58
@james-d-mitchell

Copy link
Copy Markdown
Member Author

@Joseph-Edwards that's all the changes made now, happy to merge?

@Joseph-Edwards
Joseph-Edwards merged commit d3aed03 into libsemigroups:main Sep 18, 2026
24 checks passed
@Joseph-Edwards Joseph-Edwards linked an issue Sep 22, 2026 that may be closed by this pull request
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

bug-fix Label for PRs that fix a bug

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Set item for Presentation.rules does nothing

2 participants