Show More
@@ -10,10 +10,10 b' on:' | |||||
10 | branches: [ master, 7.x ] |
|
10 | branches: [ master, 7.x ] | |
11 |
|
11 | |||
12 | jobs: |
|
12 | jobs: | |
13 | build: |
|
13 | formatting: | |
14 |
|
14 | |||
15 | runs-on: ubuntu-latest |
|
15 | runs-on: ubuntu-latest | |
16 |
timeout-minutes: |
|
16 | timeout-minutes: 5 | |
17 | strategy: |
|
17 | strategy: | |
18 | matrix: |
|
18 | matrix: | |
19 | python-version: [3.8] |
|
19 | python-version: [3.8] | |
@@ -29,7 +29,7 b' jobs:' | |||||
29 | - name: Install dependencies |
|
29 | - name: Install dependencies | |
30 | run: | |
|
30 | run: | | |
31 | python -m pip install --upgrade pip |
|
31 | python -m pip install --upgrade pip | |
32 |
pip install darker |
|
32 | pip install darker | |
33 | - name: Lint with darker |
|
33 | - name: Lint with darker | |
34 | run: | |
|
34 | run: | | |
35 | darker -r 60625f241f298b5039cb2debc365db38aa7bb522 --check --diff . || ( |
|
35 | darker -r 60625f241f298b5039cb2debc365db38aa7bb522 --check --diff . || ( |
@@ -66,6 +66,7 b' else:' | |||||
66 | # There is no distinction of user/system time under windows, so we just use |
|
66 | # There is no distinction of user/system time under windows, so we just use | |
67 | # time.perff_counter() for everything... |
|
67 | # time.perff_counter() for everything... | |
68 | clocku = clocks = clock = time.perf_counter |
|
68 | clocku = clocks = clock = time.perf_counter | |
|
69 | ||||
69 | def clock2(): |
|
70 | def clock2(): | |
70 | """Under windows, system CPU time can't be measured. |
|
71 | """Under windows, system CPU time can't be measured. | |
71 |
|
72 |
General Comments 0
You need to be logged in to leave comments.
Login now