Skip to content

chore: update dylib workflow for latest runtime#6

Open
tiye wants to merge 5 commits intomainfrom
updates
Open

chore: update dylib workflow for latest runtime#6
tiye wants to merge 5 commits intomainfrom
updates

Conversation

@tiye
Copy link
Copy Markdown
Member

@tiye tiye commented Mar 14, 2026

No description provided.

@tiye tiye requested review from a team and Copilot March 14, 2026 06:07
Copy link
Copy Markdown

Copilot AI left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Pull request overview

This PR updates the dylib-workflow project to match a newer Calcit runtime and updated Cirru EDN/parser dependencies, while ensuring the required exported symbols exist under Rust 2024’s unsafe-attribute rules.

Changes:

  • Upgraded Rust edition to 2024 and bumped cirru_edn / cirru_parser dependency versions (with corresponding lockfile updates).
  • Added a new exported edn_version() symbol and migrated exports to #[unsafe(no_mangle)].
  • Updated Calcit version metadata, removed calcit.cirru, added Agents.md, and adjusted CI to invoke cr.

Reviewed changes

Copilot reviewed 6 out of 8 changed files in this pull request and generated 1 comment.

Show a summary per file
File Description
src/lib.rs Switches exported symbols to #[unsafe(no_mangle)] and adds edn_version() export.
Cargo.toml Moves to Rust 2024 edition and bumps Cirru dependencies.
Cargo.lock Reflects dependency upgrades and transitive changes.
deps.cirru Updates referenced :calcit-version to 0.12.9.
calcit.cirru Removes legacy Calcit project file (appears superseded by compact.cirru).
Agents.md Adds development/verification instructions for the dylib workflow.
.gitignore Ignores .DS_Store.
.github/workflows/check.yaml Changes CI to run cr (no -1).

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

tiye and others added 3 commits March 15, 2026 11:53
Co-authored-by: Copilot Autofix powered by AI <175728472+Copilot@users.noreply.github.com>
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