Code

[CI] Divide CI into gates#13861

Code

Merged

dkijania merged 16 commits intoberkeleyMinaProtocol/mina:berkeleyfrom dkijania/move_te_to_stage_2MinaProtocol/mina:dkijania/move_te_to_stage_2Copy head branch name to clipboardOct 16, 2023

+322-130

Commits

Commits on Sep 27, 2023

• Introduce PipelineTag and PipelineFilter modules which can help more fluently describe which jobs should be run.

  dkijania

  committed
  877400a

• hardcode

  dkijania

  committed
  e24ebc6

• pipeline

  dkijania

  committed
  ff8359b

• Properly tag jobs

  dkijania

  committed
  21e7ab7

• comp

  dkijania

  committed
  2b1f0dd

• move tag

  dkijania

  committed
  141d6a6

• Revert "Auxiliary commit to revert individual files from 877400a"

  Show description for 38712a8
  dkijania

  committed
  38712a8

Commits on Sep 28, 2023

• format

  dkijania

  committed
  7c71a0c

Commits on Oct 5, 2023

• Merge branch 'berkeley' into dkijania/move_te_to_stage_2

  dkijania

  authored
  1f452ad

Commits on Oct 6, 2023

• Merge branch 'berkeley' into dkijania/move_te_to_stage_2

  dkijania

  authored
  31dd230

• add alltests filter for backward compatibility

  dkijania

  committed
  c425cb1

Commits on Oct 9, 2023

• Merge branch 'berkeley' into dkijania/move_te_to_stage_2

  dkijania

  authored
  f508315

Commits on Oct 10, 2023

• Fix merges conflict

  dkijania

  committed
  9efd655

• Merge branch 'berkeley' into dkijania/move_te_to_stage_2

  dkijania

  authored
  9a8a8ec

• Merge branch 'berkeley' into dkijania/move_te_to_stage_2

  dkijania

  authored
  743d077

Commits on Oct 16, 2023

• Merge branch 'berkeley' into dkijania/move_te_to_stage_2

  dkijania

  authored
  732814c