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 #79: completed by bobismijnnaam
October 18, 2024 12:56 18s
October 18, 2024 12:56 18s
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
Generate Test Report Generate Test Report #78: completed by bobismijnnaam
October 18, 2024 12:40 24s
October 18, 2024 12:40 24s
Merge pull request #1259 from utwente-fmt/veymont-lightweight-heavywe… (Pre)-Release #112: Commit ab31613 pushed by bobismijnnaam
October 18, 2024 12:12 19m 29s dev
dev
October 18, 2024 12:12 19m 29s
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
Generate Test Report Generate Test Report #77: completed by bobismijnnaam
October 18, 2024 12:01 24s
October 18, 2024 12:01 24s
Generate Test Report Generate Test Report #76: completed by bobismijnnaam
October 18, 2024 11:38 18s
October 18, 2024 11:38 18s
Generate Test Report Generate Test Report #75: completed by bobismijnnaam
October 18, 2024 11:38 18s
October 18, 2024 11:38 18s
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
Generate Test Report Generate Test Report #74: completed by bobismijnnaam
October 18, 2024 11:37 16s
October 18, 2024 11:37 16s
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
Generate Test Report Generate Test Report #73: completed by bobismijnnaam
October 18, 2024 10:28 32s
October 18, 2024 10:28 32s
Generate Test Report Generate Test Report #72: completed by bobismijnnaam
October 18, 2024 10:04 17s
October 18, 2024 10:04 17s
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
Generate Test Report Generate Test Report #71: completed by superaxander
October 18, 2024 09:46 36s
October 18, 2024 09:46 36s
Generate Test Report Generate Test Report #70: completed by superaxander
October 18, 2024 09:34 37s
October 18, 2024 09:34 37s
Merge pull request #1260 from wandernauta/underscore (Pre)-Release #111: Commit 9c739cc pushed by superaxander
October 18, 2024 09:23 18m 11s dev
dev
October 18, 2024 09:23 18m 11s
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
Build and add wiki release Build and add wiki release #336: by superaxander
October 18, 2024 09:19 1m 29s
October 18, 2024 09:19 1m 29s
Generate Test Report Generate Test Report #69: completed by bobismijnnaam
October 18, 2024 09:16 35s
October 18, 2024 09:16 35s
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