CI

fix up geomean & misc #80

Sign in to view logs

Triggered via push February 13, 2025 11:20

sbrantq

main

Status Failure

Total duration 13m 39s

Artifacts –

test.yml

on: push

Julia Sanity Tests

JavaScript Tests

Scala (Daisy) Tests

Julia Benchmarks

Julia Tests (binary64, mixed)

Julia Tests (binary32)

Annotations

4 errors, 4 warnings, and 2 notices

OCaml Tests

The process '/usr/bin/sudo' failed with exit code 100

FPTaylor Tests

The process '/usr/bin/sudo' failed with exit code 100

Tools Tests

Process completed with exit code 2.

Sollya Tests

Process completed with exit code 2.

The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/

The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/

The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/

The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/

OCaml Tests

An error has been caught in some system package index files, so the system package index files have been re-synchronised, and the system package installation has been retried: the process '/usr/bin/sudo' failed with exit code 100

FPTaylor Tests

An error has been caught in some system package index files, so the system package index files have been re-synchronised, and the system package installation has been retried: the process '/usr/bin/sudo' failed with exit code 100