tests

Merge pull request #210 from BerkeleyLearnVerify/RequireMonitorError #254

Sign in to view logs

Triggered via push January 11, 2024 17:18

dfremont

main

Status Success

Total duration 19m 2s

Artifacts –

run-tests.yml

on: push

check-format / check

Matrix: test

Annotations

9 warnings

test (3.11, ubuntu-latest, test)

Cache save failed.

test (3.9, ubuntu-latest, test)

Cache save failed.

test (3.8, ubuntu-latest, test)

Cache save failed.

test (3.12, ubuntu-latest, test)

Cache save failed.

test (3.8, ubuntu-latest, test-full)

Cache save failed.

test (3.10, ubuntu-latest, test-full)

Cache save failed.

test (3.11, ubuntu-latest, test-full)

Cache save failed.

test (3.9, ubuntu-latest, test-full)

Cache save failed.

test (3.12, ubuntu-latest, test-full)

Cache save failed.