Skip to content

Actions: utwente-fmt/vercors

Actions

Run ScalaTest

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
scalatest.yml
1,237 workflow runs
1,237 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge remote-tracking branch 'fmt/dev' into syql-rq4-patch Run ScalaTest #2823: Commit 568ad89 pushed by OmerSakar
October 29, 2024 11:52 22m 22s sycl-patch
sycl-patch
October 29, 2024 11:52 22m 22s
Merge pull request #1259 from utwente-fmt/veymont-lightweight-heavywe… Run ScalaTest #2822: Commit ab31613 pushed by RobertMensing
October 28, 2024 14:10 22m 46s integrate-llvm-spec-translation
integrate-llvm-spec-translation
October 28, 2024 14:10 22m 46s
Add LLVM float support and add void.c/void.ll tests Run ScalaTest #2821: Commit dd8553f pushed by superaxander
October 25, 2024 09:01 28m 9s struct-examples
struct-examples
October 25, 2024 09:01 28m 9s
Add LLVM float support and add void.c/void.ll tests Run ScalaTest #2820: Commit 6e531a2 pushed by superaxander
October 25, 2024 08:36 10m 3s struct-examples
struct-examples
October 25, 2024 08:36 10m 3s
Add LLVM float support and add void.c/void.ll tests Run ScalaTest #2819: Commit f98b8de pushed by superaxander
October 25, 2024 08:35 1m 31s struct-examples
struct-examples
October 25, 2024 08:35 1m 31s
Struct examples Run ScalaTest #2818: Pull request #1270 opened by superaxander
October 21, 2024 09:01 4s struct-examples
struct-examples
October 21, 2024 09:01 4s
Disable VariableToPointer transformation for function arguments, fix … Run ScalaTest #2817: Commit d53485b pushed by superaxander
October 21, 2024 09:01 25m 12s struct-examples
struct-examples
October 21, 2024 09:01 25m 12s
VeyMont: remove ChorPerm Run ScalaTest #2816: Pull request #1269 synchronize by bobismijnnaam
October 18, 2024 15:08 4s veymont-no-chorperm
veymont-no-chorperm
October 18, 2024 15:08 4s
Put pvl library parsing in progress crumbs. Fix bug where externel ch… Run ScalaTest #2815: Commit 5ef58f6 pushed by bobismijnnaam
October 18, 2024 15:08 23m 18s veymont-no-chorperm
veymont-no-chorperm
October 18, 2024 15:08 23m 18s
Test out speedier CI Run ScalaTest #2814: Commit 7bbb1b3 pushed by superaxander
October 18, 2024 15:03 21m 19s test-ci-speed
test-ci-speed
October 18, 2024 15:03 21m 19s
VeyMont: remove ChorPerm Run ScalaTest #2813: Pull request #1269 synchronize by bobismijnnaam
October 18, 2024 13:36 4s veymont-no-chorperm
veymont-no-chorperm
October 18, 2024 13:36 4s
Fix bug where resource-typed expressions without an endpoint were err… Run ScalaTest #2812: Commit a0b2e91 pushed by bobismijnnaam
October 18, 2024 13:36 22m 31s veymont-no-chorperm
veymont-no-chorperm
October 18, 2024 13:36 22m 31s
VeyMont: remove ChorPerm Run ScalaTest #2811: Pull request #1269 opened by bobismijnnaam
October 18, 2024 12:56 3s veymont-no-chorperm
veymont-no-chorperm
October 18, 2024 12:56 3s
Get rid of ChorPerm, syntactically Run ScalaTest #2810: Commit b7b3363 pushed by bobismijnnaam
October 18, 2024 12:54 26m 51s veymont-no-chorperm
veymont-no-chorperm
October 18, 2024 12:54 26m 51s
Merge pull request #1259 from utwente-fmt/veymont-lightweight-heavywe… Run ScalaTest #2809: Commit ab31613 pushed by bobismijnnaam
October 18, 2024 12:12 28m 16s dev
dev
October 18, 2024 12:12 28m 16s
VeyMont: support inline, wrapped, and no stratified permissions, fix some of Wander's issues, update VeyMont pass order. Run ScalaTest #2808: Pull request #1259 synchronize by bobismijnnaam
October 18, 2024 11:38 3s veymont-lightweight-heavyweight
veymont-lightweight-heavyweight
October 18, 2024 11:38 3s
Merge branch 'dev' into veymont-lightweight-heavyweight Run ScalaTest #2807: Commit 525e1ce pushed by bobismijnnaam
October 18, 2024 11:38 22m 40s veymont-lightweight-heavyweight
veymont-lightweight-heavyweight
October 18, 2024 11:38 22m 40s
VeyMont: support inline, wrapped, and no stratified permissions, fix some of Wander's issues, update VeyMont pass order. Run ScalaTest #2806: Pull request #1259 synchronize by bobismijnnaam
October 18, 2024 11:37 3s veymont-lightweight-heavyweight
veymont-lightweight-heavyweight
October 18, 2024 11:37 3s
Fix last technical test Run ScalaTest #2805: Commit 41b7678 pushed by bobismijnnaam
October 18, 2024 11:37 53s veymont-lightweight-heavyweight
veymont-lightweight-heavyweight
October 18, 2024 11:37 53s
VeyMont: support inline, wrapped, and no stratified permissions, fix some of Wander's issues, update VeyMont pass order. Run ScalaTest #2804: Pull request #1259 synchronize by bobismijnnaam
October 18, 2024 10:04 3s veymont-lightweight-heavyweight
veymont-lightweight-heavyweight
October 18, 2024 10:04 3s
Enable proper inference of endpoint annotations over (inline) predica… Run ScalaTest #2803: Commit 2e8ee97 pushed by bobismijnnaam
October 18, 2024 10:04 24m 10s veymont-lightweight-heavyweight
veymont-lightweight-heavyweight
October 18, 2024 10:04 24m 10s
Merge pull request #1260 from wandernauta/underscore Run ScalaTest #2802: Commit 9c739cc pushed by superaxander
October 18, 2024 09:23 23m 10s dev
dev
October 18, 2024 09:23 23m 10s
Add tagged pointer example and error when cast helpers fail due to mi… Run ScalaTest #2801: Commit e7088cf pushed by superaxander
October 18, 2024 09:09 24m 25s struct-examples
struct-examples
October 18, 2024 09:09 24m 25s
VeyMont: support inline, wrapped, and no stratified permissions, fix some of Wander's issues, update VeyMont pass order. Run ScalaTest #2800: Pull request #1259 synchronize by bobismijnnaam
October 18, 2024 08:53 4s veymont-lightweight-heavyweight
veymont-lightweight-heavyweight
October 18, 2024 08:53 4s
Move VeyMont passes up Run ScalaTest #2799: Commit 9ffc1c2 pushed by bobismijnnaam
October 18, 2024 08:53 23m 3s veymont-lightweight-heavyweight
veymont-lightweight-heavyweight
October 18, 2024 08:53 23m 3s