chore: update for changes to DiscrTree in leanprover/lean4#2734 #261

Sign in to view logs

Triggered via pull request October 23, 2023 11:26

JLimperg

synchronize #79

lean-pr-testing-2734

Status Success

Total duration 4m 44s

Artifacts –

build.yml

on: pull_request

Matrix: build

Annotations

1 warning

build (ubuntu-latest)

The following actions uses node12 which is deprecated and will be forced to run on node16: 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/