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

Add type for permission stratification mode & wire it into the option… Run ScalaTest #2775: Commit 707d654 pushed by bobismijnnaam
October 16, 2024 14:24 7m 32s veymont-lightweight-heavyweight
veymont-lightweight-heavyweight
October 16, 2024 14:24 7m 32s
Generate Test Report Generate Test Report #43: completed by bobismijnnaam
October 16, 2024 14:21 35s
October 16, 2024 14:21 35s
Generate Test Report Generate Test Report #42: completed by superaxander
October 16, 2024 13:57 22s
October 16, 2024 13:57 22s
Fix silicon version & bip_annotation crash. (Pre)-Release #110: Commit 3313255 pushed by bobismijnnaam
October 16, 2024 13:56 18m 7s dev
dev
October 16, 2024 13:56 18m 7s
Fix silicon version & bip_annotation crash. Run ScalaTest #2774: Commit 3313255 pushed by bobismijnnaam
October 16, 2024 13:56 24m 37s dev
dev
October 16, 2024 13:56 24m 37s
Build and add wiki release Build and add wiki release #335: Manually run by superaxander
October 16, 2024 13:49 2m 24s dev
dev
October 16, 2024 13:49 2m 24s
Update wiki build workflow Run ScalaTest #2773: Commit daab9ce pushed by superaxander
October 16, 2024 13:48 8m 41s dev
dev
October 16, 2024 13:48 8m 41s
Update wiki build workflow (Pre)-Release #109: Commit daab9ce pushed by superaxander
October 16, 2024 13:48 19m 50s dev
dev
October 16, 2024 13:48 19m 50s
Build and add wiki release Build and add wiki release #334: by superaxander
October 16, 2024 12:00 1m 54s
October 16, 2024 12:00 1m 54s
Generate Test Report Generate Test Report #41: completed by bobismijnnaam
October 16, 2024 12:00 18s
October 16, 2024 12:00 18s
Generate Test Report Generate Test Report #40: completed by bobismijnnaam
October 16, 2024 11:51 18s
October 16, 2024 11:51 18s
VeyMont: support inline, wrapped, and no stratified permissions, fix some of Wander's issues, update VeyMont pass order. Run ScalaTest #2772: Pull request #1259 synchronize by bobismijnnaam
October 16, 2024 11:51 3s veymont-lightweight-heavyweight
veymont-lightweight-heavyweight
October 16, 2024 11:51 3s
Further investigate branch unanimity. Run ScalaTest #2771: Commit 23855db pushed by bobismijnnaam
October 16, 2024 11:51 9m 17s veymont-lightweight-heavyweight
veymont-lightweight-heavyweight
October 16, 2024 11:51 9m 17s
Generate Test Report Generate Test Report #39: completed by superaxander
October 15, 2024 13:10 26s
October 15, 2024 13:10 26s
Merge pull request #1159 from superaxander/pallas (Pre)-Release #108: Commit 19c8c95 pushed by superaxander
October 15, 2024 12:42 18m 11s dev
dev
October 15, 2024 12:42 18m 11s
Merge pull request #1159 from superaxander/pallas Run ScalaTest #2770: Commit 19c8c95 pushed by superaxander
October 15, 2024 12:42 27m 28s dev
dev
October 15, 2024 12:42 27m 28s
Generate Test Report Generate Test Report #38: completed by superaxander
October 15, 2024 12:39 24s
October 15, 2024 12:39 24s
Update VCLLVM (now Pallas) to LLVM 17, update to newest VerCors version, and convert more instructions to COL Run ScalaTest #2769: Pull request #1159 synchronize by superaxander
October 15, 2024 12:15 24m 34s superaxander:pallas
superaxander:pallas
October 15, 2024 12:15 24m 34s
Generate Test Report Generate Test Report #37: completed by wandernauta
October 14, 2024 13:57 17s
October 14, 2024 13:57 17s
Collect bip_annotation modifier in all ToCol classes Run ScalaTest #2768: Pull request #1261 opened by wandernauta
October 14, 2024 13:48 9m 32s wandernauta:foreignbip
wandernauta:foreignbip
October 14, 2024 13:48 9m 32s
Generate Test Report Generate Test Report #36: completed by wandernauta
October 14, 2024 13:07 18s
October 14, 2024 13:07 18s
Add stringToName special case for all-underscores identifier strings Run ScalaTest #2767: Pull request #1260 opened by wandernauta
October 14, 2024 12:58 9m 14s wandernauta:underscore
wandernauta:underscore
October 14, 2024 12:58 9m 14s
Generate Test Report Generate Test Report #35: completed by bobismijnnaam
October 11, 2024 15:30 37s
October 11, 2024 15:30 37s
Generate Test Report Generate Test Report #34: completed by bobismijnnaam
October 11, 2024 15:06 17s
October 11, 2024 15:06 17s
VeyMont: support inline, wrapped, and no stratified permissions, fix some of Wander's issues, update VeyMont pass order. Run ScalaTest #2766: Pull request #1259 synchronize by bobismijnnaam
October 11, 2024 15:05 4s veymont-lightweight-heavyweight
veymont-lightweight-heavyweight
October 11, 2024 15:05 4s