Skip to content
Build and Package TLA Proof Manager

arith_add is replaced by other definitions in the isabelle thory. #268

Sign in to view logs

arith_add is replaced by other definitions in the isabelle thory.

arith_add is replaced by other definitions in the isabelle thory. #268

Re-run triggered April 27, 2024 10:29
@kape1395kape1395
267496d
isabelle2020-dune-2024RC2
Status Failure
Total duration 1m 58s
Artifacts –

main.yml

on: push
Matrix: Build TLAPS installer and test it
Fit to window
Zoom out
Zoom in

Annotations

14 errors and 2 warnings
Build TLAPS installer and test it (macos-latest, 0)
[notice] A new release of pip is available: 23.0.1 -> 24.0 [notice] To update, run: python3.10 -m pip install --upgrade pip
Build TLAPS installer and test it (macos-latest, 0)
The process '/Users/runner/hostedtoolcache/opam/2.1.5/arm64/opam' failed with exit code 20
Build TLAPS installer and test it (ubuntu-latest, 2)
The job was canceled because "macos-latest_0" failed.
Build TLAPS installer and test it (ubuntu-latest, 2)
The operation was canceled.
Build TLAPS installer and test it (ubuntu-latest, 0)
The job was canceled because "macos-latest_0" failed.
Build TLAPS installer and test it (ubuntu-latest, 0)
The operation was canceled.
Build TLAPS installer and test it (ubuntu-latest, 1)
The job was canceled because "macos-latest_0" failed.
Build TLAPS installer and test it (ubuntu-latest, 1)
The operation was canceled.
Build TLAPS installer and test it (macos-latest, 1)
The job was canceled because "macos-latest_0" failed.
Build TLAPS installer and test it (macos-latest, 1)
[notice] A new release of pip is available: 23.0.1 -> 24.0 [notice] To update, run: python3.10 -m pip install --upgrade pip
Build TLAPS installer and test it (macos-latest, 1)
The operation was canceled.
Build TLAPS installer and test it (macos-latest, 2)
The job was canceled because "macos-latest_0" failed.
Build TLAPS installer and test it (macos-latest, 2)
[notice] A new release of pip is available: 23.0.1 -> 24.0 [notice] To update, run: python3.10 -m pip install --upgrade pip
Build TLAPS installer and test it (macos-latest, 2)
The operation was canceled.
Build TLAPS installer and test it (macos-latest, 0)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/setup-python@v2, actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
Build TLAPS installer and test it (macos-latest, 0)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/setup-python@v2, actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/