Skip to content

Debugging to get the quantifier code to work with the FreeRTOS encoding #2966

Debugging to get the quantifier code to work with the FreeRTOS encoding

Debugging to get the quantifier code to work with the FreeRTOS encoding #2966

Triggered via push January 15, 2025 14:05
Status Success
Total duration 23m 11s
Artifacts 13

scalatest.yml

on: push
ScalaTestWindowsBasic
7m 4s
ScalaTestWindowsBasic
ScalaTestMacOsBasic
4m 51s
ScalaTestMacOsBasic
Matrix: ScalaTest
Fit to window
Zoom out
Zoom in

Annotations

1 warning
ScalaTestWindowsBasic
Your workflow is using a version of actions/cache that is scheduled for deprecation, actions/cache@v2. Please update your workflow to use either v3 or v4 of actions/cache to avoid interruptions. Learn more: https://github.blog/changelog/2024-12-05-notice-of-upcoming-releases-and-breaking-changes-for-github-actions/#actions-cache-v1-v2-and-actions-toolkit-cache-package-closing-down

Artifacts

Produced during runtime
Name Size
allTests
125 MB
pallas
7.76 MB
test-report-macos-latest
2.47 KB
test-report-ubuntu-latest--l MATRIX
109 KB
test-report-ubuntu-latest--n MATRIX[0]
113 KB
test-report-ubuntu-latest--n MATRIX[1]
114 KB
test-report-ubuntu-latest--n MATRIX[2]
113 KB
test-report-ubuntu-latest--n MATRIX[3]
113 KB
test-report-ubuntu-latest--n MATRIX[4]
113 KB
test-report-ubuntu-latest--n MATRIX[5]
114 KB
test-report-ubuntu-latest--n MATRIX[6]
113 KB
test-report-ubuntu-latest--n MATRIX[7]
114 KB
test-report-windows-latest
3.19 KB