Code

List Workflow Demo#145

Code

Closed

carolynzech wants to merge 9 commits intomodel-checking:mainmodel-checking/verify-rust-std:mainfrom carolynzech:list-workflowcarolynzech/verify-rust-std:list-workflowCopy head branch name to clipboard

+75-5

Commits

Commits on Nov 1, 2024

• kani list workflow

  carolynzech

  committed
  d0a9b86

  Copy full SHA for d0a9b86

• publish comment with list results

  carolynzech

  committed
  6785f7c

  Copy full SHA for 6785f7c

• remove echo

  carolynzech

  committed
  3e1b2f1

  Copy full SHA for 3e1b2f1

• try fixing comment pr permissions issue

  carolynzech

  committed
  ae6f587

  Copy full SHA for ae6f587

• try to only post the table in the comment

  carolynzech

  committed
  3c0b99d

  Copy full SHA for 3c0b99d

• attempt to fix ENOENT

  carolynzech

  committed
  38a6486

  Copy full SHA for 38a6486

• undo unnecessary changes

  carolynzech

  committed
  561c6b4

  Copy full SHA for 561c6b4

• newline

  carolynzech

  authored
  2f02fa4

  Copy full SHA for 2f02fa4

• bikesheds

  carolynzech

  committed
  f77a662

  Copy full SHA for f77a662