Eric Traut
|
c29e81d19f
|
Reverting change for mypy_primer script. It appears that the "--additional-flags" option in mypy_primer is broken.
|
2024-07-17 12:54:07 -07:00 |
|
Eric Traut
|
495ce99d27
|
One more try
|
2024-07-17 12:52:03 -07:00 |
|
Eric Traut
|
54b2ebc96d
|
Another try to pass "--threads" to mypy_primer.
|
2024-07-17 12:50:11 -07:00 |
|
Eric Traut
|
1572f63ac0
|
Another try at passing the "--threads" flag to mypy_primer.
|
2024-07-17 12:38:32 -07:00 |
|
Eric Traut
|
045753f275
|
Added "--threads" option to mypy_primer to speed up CI actions.
|
2024-07-17 12:27:40 -07:00 |
|
Eric Traut
|
17d9f61ccd
|
Added additional paralellization for mypy_primer (from 2 to 8 shards) to reduce feedback time on PRs.
|
2024-06-30 16:01:36 -07:00 |
|
Raphael Boidol
|
766a012627
|
Update GitHub Actions from "actions" org & update mypy_primer for changed upload-artifacts behaviour (#7978)
* Update actions/checkout, actions/setup-node, actions/setup-python, actions/github-script
* Update actions/upload-artifact & actions/download-artifact includign migrations
|
2024-05-22 12:31:23 -07:00 |
|
Eric Traut
|
24787dad22
|
Revert "Update GitHub Actions from "actions" org to resolve Node.js deprecations (#7956)"
This reverts commit 17921d4f1e .
|
2024-05-20 15:42:56 -07:00 |
|
Raphael Boidol
|
17921d4f1e
|
Update GitHub Actions from "actions" org to resolve Node.js deprecations (#7956)
|
2024-05-20 08:53:43 -07:00 |
|
Eric Traut
|
6de44b9237
|
Changed mypy_primer PR script to use 2 shards (parallel action executions) rather than 1 to reduce wait times.
|
2023-06-14 17:36:01 -07:00 |
|
Eric Traut
|
dc9413ce71
|
Fixed style issue.
|
2023-06-08 23:23:47 -06:00 |
|
Eric Traut
|
71f0f77afc
|
Added comments to new workflow definition files.
|
2023-06-08 23:09:15 -06:00 |
|
Eric Traut
|
b6c8378950
|
Created separate workflow for running mypy_primer on push to main.
|
2023-06-08 22:46:26 -06:00 |
|