Skip to content
This repository has been archived by the owner on Jul 5, 2024. It is now read-only.

Clean up github workflows #1537

Merged
merged 1 commit into from
Jul 21, 2023
Merged

Clean up github workflows #1537

merged 1 commit into from
Jul 21, 2023

Commits on Jul 21, 2023

  1. Clean up github workflows

    - Remove bitrot task which was building the benchmarks and examples but we don't have any
    - Merge cargo fmt, clippy and doc links into a single job to reduce noise
    - Split heavy tests and light tests into two jobs to parallelize the work
    - Merge all feature tests into a single job to reduce noise.
    - Disable integration tests on pull requests because they are taking a long time currently.  Enable them only when the trigger-integration-test label is set, when they are scheduled via cron, or when pushing to main.
    ed255 committed Jul 21, 2023
    Configuration menu
    Copy the full SHA
    e560228 View commit details
    Browse the repository at this point in the history