Skip to content

Actions: utwente-fmt/vercors

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,521 workflow runs
1,521 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Generate Test Report Generate Test Report #68: completed by bobismijnnaam
October 18, 2024 08:53 17s
October 18, 2024 08:53 17s
Generate Test Report Generate Test Report #67: completed by bobismijnnaam
October 18, 2024 08:53 22s
October 18, 2024 08:53 22s
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
Generate Test Report Generate Test Report #66: completed by superaxander
October 18, 2024 08:47 37s
October 18, 2024 08:47 37s
Generate Test Report Generate Test Report #65: completed by bobismijnnaam
October 18, 2024 08:37 18s
October 18, 2024 08:37 18s
VeyMont: support inline, wrapped, and no stratified permissions, fix some of Wander's issues, update VeyMont pass order. Run ScalaTest #2798: Pull request #1259 synchronize by bobismijnnaam
October 18, 2024 08:37 3s veymont-lightweight-heavyweight
veymont-lightweight-heavyweight
October 18, 2024 08:37 3s
Fix VeyMontExamplesSpec.scala Run ScalaTest #2797: Commit fc2d514 pushed by bobismijnnaam
October 18, 2024 08:37 16m 8s veymont-lightweight-heavyweight
veymont-lightweight-heavyweight
October 18, 2024 08:37 16m 8s
Generate Test Report Generate Test Report #64: completed by bobismijnnaam
October 18, 2024 08:34 25s
October 18, 2024 08:34 25s
Add tagged pointer example and error when cast helpers fail due to mi… Run ScalaTest #2796: Commit 923c1c7 pushed by superaxander
October 18, 2024 08:23 24m 11s struct-examples
struct-examples
October 18, 2024 08:23 24m 11s
Generate Test Report Generate Test Report #63: completed by bobismijnnaam
October 18, 2024 08:09 23s
October 18, 2024 08:09 23s
VeyMont: support inline, wrapped, and no stratified permissions, fix some of Wander's issues, update VeyMont pass order. Run ScalaTest #2795: Pull request #1259 synchronize by bobismijnnaam
October 18, 2024 08:08 4s veymont-lightweight-heavyweight
veymont-lightweight-heavyweight
October 18, 2024 08:08 4s
Make FM2023VeyMontSpec use --veymont-ps=inline Run ScalaTest #2794: Commit d182bd4 pushed by bobismijnnaam
October 18, 2024 08:08 25m 58s veymont-lightweight-heavyweight
veymont-lightweight-heavyweight
October 18, 2024 08:08 25m 58s
Generate Test Report Generate Test Report #62: completed by bobismijnnaam
October 17, 2024 15:13 35s
October 17, 2024 15:13 35s
Generate Test Report Generate Test Report #61: completed by bobismijnnaam
October 17, 2024 14:50 19s
October 17, 2024 14:50 19s
Generate Test Report Generate Test Report #60: completed by bobismijnnaam
October 17, 2024 14:50 16s
October 17, 2024 14:50 16s
VeyMont: support inline, wrapped, and no stratified permissions, fix some of Wander's issues, update VeyMont pass order. Run ScalaTest #2793: Pull request #1259 synchronize by bobismijnnaam
October 17, 2024 14:49 3s veymont-lightweight-heavyweight
veymont-lightweight-heavyweight
October 17, 2024 14:49 3s
Modify command line flags to make test suite pass Run ScalaTest #2792: Commit 3c4a298 pushed by bobismijnnaam
October 17, 2024 14:49 23m 3s veymont-lightweight-heavyweight
veymont-lightweight-heavyweight
October 17, 2024 14:49 23m 3s
Generate Test Report Generate Test Report #59: completed by bobismijnnaam
October 17, 2024 14:38 18s
October 17, 2024 14:38 18s
VeyMont: support inline, wrapped, and no stratified permissions, fix some of Wander's issues, update VeyMont pass order. Run ScalaTest #2791: Pull request #1259 synchronize by bobismijnnaam
October 17, 2024 14:38 3s veymont-lightweight-heavyweight
veymont-lightweight-heavyweight
October 17, 2024 14:38 3s
Enable LabelDecl scope on VeSUVMainMethod. Run ScalaTest #2790: Commit 60457f8 pushed by bobismijnnaam
October 17, 2024 14:38 12m 1s veymont-lightweight-heavyweight
veymont-lightweight-heavyweight
October 17, 2024 14:38 12m 1s
Generate Test Report Generate Test Report #58: completed by bobismijnnaam
October 17, 2024 13:41 36s
October 17, 2024 13:41 36s
Generate Test Report Generate Test Report #57: completed by bobismijnnaam
October 17, 2024 13:13 19s
October 17, 2024 13:13 19s
Generate Test Report Generate Test Report #56: completed by bobismijnnaam
October 17, 2024 13:13 22s
October 17, 2024 13:13 22s
VeyMont: support inline, wrapped, and no stratified permissions, fix some of Wander's issues, update VeyMont pass order. Run ScalaTest #2789: Pull request #1259 synchronize by bobismijnnaam
October 17, 2024 13:13 3s veymont-lightweight-heavyweight
veymont-lightweight-heavyweight
October 17, 2024 13:13 3s