Skip to content

Convert average_run_time to an integer. #245

Convert average_run_time to an integer.

Convert average_run_time to an integer. #245

Workflow file for this run

name: markdownlint
on: [push, pull_request, workflow_dispatch]
jobs:
markdownlint:
name: Lint markdown files
runs-on: ubuntu-22.04
steps:
- name: Checkout
uses: actions/checkout@8f4b7f84864484a7bf31766abe9204da3cbe65b3
- name: Run markdownlint
uses: DavidAnson/markdownlint-cli2-action@bb4bb94c73936643d73d345b48fead3e96f90a5e