Skip to content

Add simplex fmt command - #150

Open
ikripaka wants to merge 6 commits into
devfrom
feat/fmt
Open

Add simplex fmt command#150
ikripaka wants to merge 6 commits into
devfrom
feat/fmt

Conversation

@ikripaka

@ikripaka ikripaka commented Sep 10, 2026 •
edited
Loading

Copy link
Copy Markdown
Collaborator
  • This PR suggests a bug fix and I've added the necessary tests.
  • This PR introduces a new feature and I've discussed the update in an Issue or with the team.
  • This PR is just a minor change like a typo fix.
  • Add the fmt command to Simplex
  • Include simfmt in release bundling
  • Include simfmt in the simplexup installation script
  • Bump simplexup version from 0.0.6 to 0.0.7
  • Extract resolve_simf_files function in ArtifactsResolver
  • Add ability to format certain files, but it elides the formal verification of a package for a project

Need to be done:

  • Add an appropriate action variable for installing a certain version of the formatter

Base automatically changed from dev to master September 10, 2026 09:55
@ikripaka
ikripaka changed the base branch from master to dev September 10, 2026 12:45
@ikripaka
ikripaka marked this pull request as ready for review September 10, 2026 12:51
@ikripaka
ikripaka requested a review from Arvolear as a code owner September 10, 2026 12:51
@ikripaka
ikripaka force-pushed the feat/fmt branch 2 times, most recently from 7bb07c2 to c9c39bb Compare September 10, 2026 13:10
@ikripaka
ikripaka force-pushed the feat/fmt branch 2 times, most recently from 34acf57 to a45ac05 Compare September 10, 2026 14:23
@ikripaka
fmt: add formatting functionality into a cli
d8d9e76 
* extract resolving of simf files into separate function in ArtifactsResolver
* make manifest discovery in inner folders
* add ability to format certain files
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@Arvolear Arvolear Awaiting requested review from Arvolear Arvolear is a code owner

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

1 participant

@ikripaka