Code

Disable code coverage in CI#2943

Code

Merged

konnov merged 10 commits intomainapalache-mc/apalache:mainfrom igor/disable-coverageapalache-mc/apalache:igor/disable-coverageCopy head branch name to clipboardAug 19, 2024

+3-7

Commits

Commits on Aug 15, 2024

• use test instead of test-coverage

  konnov

  committed
  9ab5a6b

  Copy full SHA for 9ab5a6b

• Merge branch 'main' into igor/disable-coverage

  konnov

  authored
  df7670b

  Copy full SHA for df7670b

• Merge branch 'main' into igor/disable-coverage

  coffeeinprogress

  authored
  848169e

  Copy full SHA for 848169e

Commits on Aug 16, 2024

• Merge branch 'main' into igor/disable-coverage

  coffeeinprogress

  authored
  5b8bc1b

  Copy full SHA for 5b8bc1b

• Merge branch 'main' into igor/disable-coverage

  coffeeinprogress

  authored
  bb150ed

  Copy full SHA for bb150ed

• Merge branch 'main' into igor/disable-coverage

  coffeeinprogress

  authored
  98291f5

  Copy full SHA for 98291f5

Commits on Aug 17, 2024

• Merge branch 'main' into igor/disable-coverage

  coffeeinprogress

  authored
  a4789e6

  Copy full SHA for a4789e6

• Merge branch 'main' into igor/disable-coverage

  coffeeinprogress

  authored
  32292dc

  Copy full SHA for 32292dc

• Merge branch 'main' into igor/disable-coverage

  coffeeinprogress

  authored
  05769e6

  Copy full SHA for 05769e6

• Merge branch 'main' into igor/disable-coverage

  coffeeinprogress

  authored
  8113eef

  Copy full SHA for 8113eef