awslabs/aws-build-accumulator

Issues

• Implement report rendering only after build terminates

  #184 opened a year ago by karkhaz
  0

• Litani init fails with Python 3.11

  #180 opened 2 years ago by iMichka
  1

• Litani stack overflow error

  #174 opened 2 years ago by karkhaz
  6

• Terminating Litani is not reliable

  #162 opened 3 years ago by karkhaz
  0

• Do not write the entire litani-exec command when a job fails in a Litani build. Rather, write only the command that was part of that job.

  #168 opened 3 years ago by angelonakos
  0

• litani-exec should not take inputs/outputs on the command line

  #156 opened 3 years ago by karkhaz
  2

• Make line wrapping of Ninja build files optional or more efficient

  #149 opened 3 years ago by tautschnig
  0

• Litani report job boxes should display job tags

  #115 opened 2 years ago by karkhaz
  1

• Create `litani consume-jobs`

  #108 opened 3 years ago by karkhaz
  1

• Create `litani dump-jobs`

  #107 opened 2 years ago by karkhaz
  2

• Implement `litani create-barrier`

  #106 opened 3 years ago by karkhaz
  1

• Add command to get report directory

  #101 opened 2 years ago by nrdg42
  1

• Add lock/unlock report dir command

  #100 opened 2 years ago by nrdg42
  1

• Adding a summary row to the litani dashboard

  #50 opened 2 years ago by celinval
  1

• Add an option to compare two (or more) runs

  #51 opened 2 years ago by celinval
  4

• Fix get_jobs_single_job test

  #153 opened 2 years ago by angelonakos
  0

• Litani produce lynx-viewable html

  #172 opened 2 years ago by ronakfof
  0

• litani(7) is broken in the HTML documentation

  #154 opened 3 years ago by karkhaz
  0

• Make litani man page display index

  #83 opened 3 years ago by karkhaz
  0

• Emit error logs when a job fails

  #131 opened 3 years ago by celinval
  0

• dicts emitted from litani-transform-jobs should only contain command-line switches

  #105 opened 3 years ago by karkhaz
  0

• Cache path to cache directory

  #109 opened 3 years ago by karkhaz
  0

• debian packaging data?

  #39 opened 3 years ago by rvandegrift
  0

• Allow jobs to emit arbitrary HTML to be rendered onto front page

  #82 opened 3 years ago by karkhaz
  0

• Allow jobs to emit arbitrary text to be inlined onto pipeline page

  #81 opened 3 years ago by karkhaz
  0

• Add `--out-file` flag to `litani-dump-run`

  #110 opened 3 years ago by karkhaz
  0

• If an output is phony, don't render it on the pipeline graph.

  #112 opened 3 years ago by karkhaz
  0

• Litani jobs not getting terminated on `ctrl + c`

  #104 opened 3 years ago by ronakfof
  1

• Add optional flag that compresses run file

  #102 opened 3 years ago by angelonakos
  0

• Make litani dump-run work after litani run-build

  #69 opened 3 years ago by karkhaz
  0

• Dependency Graph prints file extensions twice

  #92 opened 3 years ago by nrdg42
  0

• Distinguish running from not-started jobs in HTML output

  #67 opened 3 years ago by karkhaz
  1

• Running Litani `run-build` results into an error, when no jobs are provided

  #80 opened 3 years ago by angelonakos
  0

• Do not print error messages from tput when not connected to a tty

  #84 opened 3 years ago by karkhaz
  5

• Add a --fast option to the Litani test suite

  #76 opened 3 years ago by karkhaz
  0

• Render Litani manpages to HTML in correct order

  #87 opened 3 years ago by karkhaz
  0

• Don't run tput every time we print a progress bar

  #86 opened 3 years ago by karkhaz
  0

• Allow users to specify an output directory for the Litani test suite

  #74 opened 3 years ago by karkhaz
  1

• Remove git commit from Litani report

  #75 opened 3 years ago by karkhaz
  0

• .litani_cache_dir discovery can cause run-cbmc-proofs.py failure.

  #66 opened 3 years ago by oliverlavery
  2

• Failure when running e2e test `multiproc_dump_run`

  #62 opened 3 years ago by adpaco-aws
  0

• Make graph output optional

  #40 opened 3 years ago by karkhaz
  0

• Do not retry graph generation if `dot` is not installed

  #41 opened 3 years ago by karkhaz
  0

• Un-truncate pipeline dependency graph file names

  #45 opened 3 years ago by karkhaz
  1

• Add description and command to pipeline dependency graph command nodes

  #44 opened 3 years ago by karkhaz
  0

• Only render pipeline graphs initially, and then when all proofs are completed

  #42 opened 3 years ago by karkhaz
  0

• Render pipeline dependency graphs asynchronously

  #43 opened 3 years ago by karkhaz
  0

• Add overall --timeout flag to run-build

  #34 opened 3 years ago by karkhaz
  0

• Add --phony-output flag to litani-add-job

  #29 opened 3 years ago by karkhaz
  0

• Add litani-man command

  #31 opened 3 years ago by karkhaz
  0