mntime 0.3.0

Execute "m" commands "n" times to calculate mean of usage time and memory. As an alternative to "time", "gnu-time" is used internally.
Documentation
on:
  workflow_dispatch:
  workflow_run:
    workflows:
      - .github/workflows/check.yaml
    types: [ completed ]
    branches: [ main ]
    paths: [ Cargo.toml ] # No effect so far.

env:
  CARGO_TERM_COLOR: always

permissions:
  contents: write

jobs:
  publish:
    timeout-minutes: 10
    runs-on: ubuntu-latest
    if: ${{ github.event.workflow_run.conclusion == 'success' }}
    steps:
    - uses: actions/checkout@v3
      with:
        fetch-depth: 2
    - run: ./tools/publish_crate.sh
      env:
        GH_TOKEN: ${{ secrets.GITHUB_TOKEN }}
        CARGO_REGISTRY_TOKEN: ${{ secrets.CARGO_REGISTRY_TOKEN }}