modified: src/automerge.py · runtimeverification/automerge@2764b42

Triggered via pull request December 3, 2024 21:04

F-WRunTime

synchronize #5

Status Failure

Total duration 37s

Artifacts –

test.yaml

on: pull_request

Matrix: Automerge

1 error and 5 warnings

Input required and not supplied: token

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

Input 'app_id' has been deprecated with message: 'app_id' is deprecated and will be removed in a future version. Use 'app-id' instead.

Input 'private_key' has been deprecated with message: 'private_key' is deprecated and will be removed in a future version. Use 'private-key' instead.

Input 'app_id' has been deprecated with message: 'app_id' is deprecated and will be removed in a future version. Use 'app-id' instead.

Input 'private_key' has been deprecated with message: 'private_key' is deprecated and will be removed in a future version. Use 'private-key' instead.