Nix CI

feat: async kernel checking for theorems #16558

Sign in to view logs

Triggered via pull request August 5, 2024 16:08

Kha

synchronize #4902

Kha:async-kernel

Status Failure

Total duration 13m 38s

Artifacts –

nix-ci.yml

on: pull_request

Matrix: Build

Annotations

2 errors and 1 warning

Process completed with exit code 1.

ENOENT: no such file or directory, open 'push-test/test-results.xml'

The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/cache@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/