Skip to content

Help emacs users a little more - #1715

Merged
bacam merged 2 commits into
rems-project:sail2from
bacam:emacs
Jul 27, 2026
Merged

Help emacs users a little more#1715
bacam merged 2 commits into
rems-project:sail2from
bacam:emacs

Conversation

@bacam

@bacam bacam commented Jul 24, 2026

Copy link
Copy Markdown
Contributor

No description provided.

@github-actions

Copy link
Copy Markdown

Test Results

   16 files     37 suites   0s ⏱️
1 037 tests 1 034 ✅  3 💤 0 ❌
5 381 runs  5 336 ✅ 45 💤 0 ❌

Results for commit b02384d.

@bacam
bacam merged commit 952c02d into rems-project:sail2 Jul 27, 2026
9 checks passed
@bacam
bacam deleted the emacs branch July 27, 2026 09:36
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.

1 participant