Code

Add GitHub action printer#21

Code

Merged

Baptouuuu merged 26 commits intodevelopInnmind/BlackBox:developfrom github-action-printerInnmind/BlackBox:github-action-printerCopy head branch name to clipboardNov 29, 2024

+285-20

Commits

Commits on Nov 29, 2024

• add failing test to iterate on the failing output in the github action

  Baptouuuu

  committed
  0bdae7b

  Copy full SHA for 0bdae7b

• print all the env variables available in the CI

  Baptouuuu

  committed
  3e37bd2

  Copy full SHA for 3e37bd2

• Revert "print all the env variables available in the CI"

  Show description for 89b688b
  Baptouuuu

  committed
  89b688b

  Copy full SHA for 89b688b

• add tag on failing test

  Baptouuuu

  committed
  5cfef5e

  Copy full SHA for 5cfef5e

• group each proof in github actions

  Baptouuuu

  committed
  ae18986

  Copy full SHA for ae18986

• attempt to display error messages for failing proofs

  Baptouuuu

  committed
  120ab85

  Copy full SHA for 120ab85

• display error message after the proof group

  Baptouuuu

  committed
  ca9378f

  Copy full SHA for ca9378f

• add missing line feed

  Baptouuuu

  committed
  c5adb38

  Copy full SHA for c5adb38

• add github action printer proofs

  Baptouuuu

  committed
  9397a43

  Copy full SHA for 9397a43

• fix method name

  Baptouuuu

  committed
  82dcf4f

  Copy full SHA for 82dcf4f

• remove unwanted tag

  Baptouuuu

  committed
  44565b1

  Copy full SHA for 44565b1

• fix github action output proofs

  Baptouuuu

  committed
  1936831

  Copy full SHA for 1936831

• experiment with custome error title

  Baptouuuu

  committed
  b5d111f

  Copy full SHA for b5d111f

• Revert "experiment with custome error title"

  Show description for cdd156c
  Baptouuuu

  committed
  cdd156c

  Copy full SHA for cdd156c

• display the proof name in the github error message for better navigation

  Baptouuuu

  committed
  ee8aaa3

  Copy full SHA for ee8aaa3

• fix unassigned property

  Baptouuuu

  committed
  65b2e9b

  Copy full SHA for 65b2e9b

• add emojis to better see the error message in long outputs

  Baptouuuu

  committed
  4384fb6

  Copy full SHA for 4384fb6

• render the github error inside the group in order to open the group when the annotation is clicked

  Baptouuuu

  committed
  af81d68

  Copy full SHA for af81d68

• remove file and line from the error as it redirects to the commit

  Baptouuuu

  committed
  9011059

  Copy full SHA for 9011059

• render the error on the failure message

  Baptouuuu

  committed
  59fa6e6

  Copy full SHA for 59fa6e6

• remove unused property

  Baptouuuu

  committed
  8142c83

  Copy full SHA for 8142c83

• add proofs for github ouput on failing proofs

  Baptouuuu

  committed
  bd15c9a

  Copy full SHA for bd15c9a

• rename disableGitHubGrouping to disableGitHubOutput

  Baptouuuu

  committed
  a79be3f

  Copy full SHA for a79be3f

• update changelog

  Baptouuuu

  committed
  21e5068

  Copy full SHA for 21e5068

• add documentation on how to disable github output

  Baptouuuu

  committed
  1652d6d

  Copy full SHA for 1652d6d

• remove failing test

  Baptouuuu

  committed
  c4b7f44

  Copy full SHA for c4b7f44