Skip to content
Run ScalaTest

Update VCLLVM (now Pallas) to LLVM 17, update to newest VerCors version, and convert more instructions to COL #2745

Sign in to view logs

Update VCLLVM (now Pallas) to LLVM 17, update to newest VerCors version, and convert more instructions to COL

Update VCLLVM (now Pallas) to LLVM 17, update to newest VerCors version, and convert more instructions to COL #2745

Triggered via pull request October 7, 2024 12:09
@superaxandersuperaxander
synchronize #1159
superaxander:pallas
Status Cancelled
Total duration 2m 43s
Artifacts –

scalatest.yml

on: pull_request
Compile
2m 31s
Compile
ScalaTestWindowsBasic
0s
ScalaTestWindowsBasic
ScalaTestMacOsBasic
0s
ScalaTestMacOsBasic
Matrix: ScalaTest
Fit to window
Zoom out
Zoom in

Annotations

2 errors
Compile
Canceling since a higher priority waiting request for 'Run ScalaTest-refs/pull/1159/merge' exists
Compile
The operation was canceled.