Code

Task semantics behaviour#276

Code

Open

zuzuleinen wants to merge 16 commits intomainbenchkram/bob:mainfrom task-semantics-behaviourbenchkram/bob:task-semantics-behaviourCopy head branch name to clipboard

+592-92

Commits

Commits on Nov 18, 2022

• cache nix-shell

  zuzuleinen

  committed
  8037011

• Merge branch 'main' of github.com:benchkram/bob

  zuzuleinen

  committed
  4d871cf

Commits on Nov 28, 2022

• Merge branch 'main' of github.com:benchkram/bob

  zuzuleinen

  committed
  8b27af9

Commits on Nov 30, 2022

• new task semantics; write tests according to specs; wip

  zuzuleinen

  committed
  a538d3b

Commits on Dec 1, 2022

• prepare playground for new behavior

  Equanox

  committed
  c6db21e

Commits on Dec 2, 2022

• option to allow redundant targets

  zuzuleinen

  committed
  e2eddda

• fix remaining tests

  zuzuleinen

  committed
  c4ff7bf

• remove todo after option to allow redundant targets

  zuzuleinen

  committed
  942ee30

• fix build: add input * to bobfile

  zuzuleinen

  committed
  f2c5cae

• gray checkmark for no-rebuild required summary

  zuzuleinen

  committed
  bc7d436

• show dash for compound tasks in summary

  zuzuleinen

  committed
  c2fbb65

Commits on Dec 5, 2022

• Merge branch 'main' into task-semantics-behaviour

  zuzuleinen

  authored
  465f7fa

Commits on Dec 7, 2022

• Merge branch 'main' into task-semantics-behaviour

  zuzuleinen

  committed
  36baa28

• rename to enableRedundatChanges

  zuzuleinen

  committed
  9bb9c7e

• Merge branch 'task-semantics-behaviour' of github.com:benchkram/bob into task-semantics-behaviour

  zuzuleinen

  committed
  459a610

Commits on Dec 19, 2022

• Merge branch 'main' into task-semantics-behaviour

  zuzuleinen

  authored
  6d79cd2