Code

modified: src/automerge.py#5

Code

Merged

F-WRunTime merged 11 commits intomasterruntimeverification/automerge:masterfrom feature/check-status-permissions-apiruntimeverification/automerge:feature/check-status-permissions-apiCopy head branch name to clipboardDec 4, 2024

+56-26

Commits

Commits on Nov 27, 2024

• modified: src/automerge.py

  Show description for 844be84
  F-WRunTime

  committed
  844be84

  Copy full SHA for 844be84

• modified: .github/workflows/test.yaml

  Show description for 3f63d9d
  F-WRunTime

  committed
  3f63d9d

  Copy full SHA for 3f63d9d

Commits on Nov 28, 2024

• modified: src/automerge.py

  Show description for 801d63e
  F-WRunTime

  committed
  801d63e

  Copy full SHA for 801d63e

Commits on Dec 3, 2024

• modified: src/automerge.py

  Show description for 447f127
  F-WRunTime

  committed
  447f127

  Copy full SHA for 447f127

• modified: .github/workflows/test.yaml

  Show description for 58979d7
  F-WRunTime

  committed
  58979d7

  Copy full SHA for 58979d7

• Rearrange Github app token step and use app token for check steps

  F-WRunTime

  committed
  e7ed705

  Copy full SHA for e7ed705

• Missed first job adding 'token'

  F-WRunTime

  committed
  2764b42

  Copy full SHA for 2764b42

• References to token were mixed up between jobs and steps outside originating job

  F-WRunTime

  committed
  eddef9d

  Copy full SHA for eddef9d

• Generate token for all repositories under current owner running the action

  F-WRunTime

  committed
  03faaef

  Copy full SHA for 03faaef

• Generate a new token for each job

  F-WRunTime

  committed
  53976a8

  Copy full SHA for 53976a8

Commits on Dec 4, 2024

• Update README.md

  Show description for 7fb171e
  

  F-WRunTime

  and

  tothtamas28

  authored
  7fb171e

  Copy full SHA for 7fb171e