Skip to content

movebit/movefmt-workflow

Folders and files

NameName
Last commit message
Last commit date

Latest commit

Β 

History

5 Commits
Β 
Β 
Β 
Β 

Repository files navigation

A reusable GitHub Action workflow for checking formatting of Move projects using movefmt.

About Us

MoveBit is a security audit company for the Move ecosystem, with a vision to make the Move ecosystem the most secure Web3.

The MoveBit team consists of security leaders in academia and enterprise world, with 10 years of security experience, and is the first blockchain security company to leverage formal verification in the Move ecosystem.

βœ… Usage

To use this workflow in your Move project:

1. Create a .github/workflows/format.yml file in your aptos move project:

name: MoveFmt CI

on:
  push:
    branches: [your_branch_name]
  pull_request:
    branches: [your_branch_name]


jobs:
  format-check:
    uses: movebit/movefmt-workflow/.github/workflows/format-check.yml@main

2. What it does

  • Checks out your repo
  • Downloads the movefmt binary
  • Runs movefmt --emit="diff" to check formatting

If any files are not correctly formatted, the CI will fail and show the diff.


πŸ“¦ Requirements

  • Your Move project should be compatible with movefmt
  • Ensure the formatting rules are correctly configured in your repo

πŸ”§ Customization

You can customize:

  • Create movefmt.toml in root dir for your repo to customize formatting config

About

No description, website, or topics provided.

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published