fix geomean #82
test.yml
on: push
Unit Tests
1m 10s
Tools Tests
1m 32s
C Tests
5m 5s
Java Tests
10m 28s
Go Tests
3m 59s
Rust Tests
3m 27s
JavaScript Tests
3m 52s
Sollya Tests
4m 58s
FPTaylor Tests
20s
Scala (Daisy) Tests
11m 3s
SMT (Z3) Tests
2m 27s
CakeML Tests
7m 29s
OCaml Tests
24s
Python Tests
3m 17s
Fortran Tests
3m 45s
Haskell Tests
7m 1s
Julia Benchmarks
4m 58s
Julia Tests (binary64, mixed)
7m 9s
Julia Tests (binary32)
6m 13s
Annotations
4 errors, 4 warnings, and 2 notices
FPTaylor Tests
The process '/usr/bin/sudo' failed with exit code 100
|
OCaml 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.
|
Rust Tests
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/
|
Rust Tests
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/
|
Rust Tests
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/
|
Rust Tests
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/
|
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
|
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
|