improve microbm #78
test.yml
on: push
Unit Tests
1m 8s
Tools Tests
57s
C Tests
5m 23s
Java Tests
11m 10s
Go Tests
4m 9s
Rust Tests
3m 42s
JavaScript Tests
4m 9s
Sollya Tests
5m 28s
FPTaylor Tests
1m 5s
Scala (Daisy) Tests
11m 32s
SMT (Z3) Tests
2m 4s
CakeML Tests
7m 4s
OCaml Tests
23s
Python Tests
3m 0s
Fortran Tests
3m 25s
Haskell Tests
7m 1s
Julia Benchmarks
5m 9s
Julia Tests (binary64, mixed)
7m 2s
Julia Tests (binary32)
6m 23s
Annotations
4 errors, 4 warnings, and 2 notices
OCaml Tests
The process '/usr/bin/sudo' failed with exit code 100
|
Tools Tests
Process completed with exit code 2.
|
FPTaylor Tests
The process '/usr/bin/sudo' failed with exit code 100
|
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/
|
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
|