8000 Workflow runs · utwente-fmt/vercors · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Actions: utwente-fmt/vercors

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,136 workflow runs
2,136 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Generate Test Report Generate Test Report #753: completed by superaxander
June 23, 2025 14:20 23s
June 23, 2025 14:20 23s
Generate Test Report Generate Test Report #752: completed by superaxander
June 23, 2025 13:59 1s
June 23, 2025 13:59 1s
Fix several small bugs Run ScalaTest #3471: Pull request #1361 synchronize by superaxander
June 23, 2025 13:59 1s fix-several
fix-several
June 23, 2025 13:59 1s
Fix newly-introduced implicit label bug Run ScalaTest #3470: Commit 6e395e6 pushed by superaxander
June 23, 2025 13:59 21m 33s fix-several
fix-several
June 23, 2025 13:59 21m 33s
Generate Test Report Generate Test Report #751: completed by superaxander
June 23, 2025 13:13 23s
June 23, 2025 13:13 23s
Generate Test Report Generate Test Report #750: completed by superaxander
June 23, 2025 12:54 1s
June 23, 2025 12:54 1s
Fix several small bugs Run ScalaTest #3469: Pull request #1361 opened by superaxander
June 23, 2025 12:54 1s fix-several
fix-several
June 23, 2025 12:54 1s
Check arity of classes with type arguments earlier to prevent crashes Run ScalaTest #3468: Commit eef3731 pushed by superaxander
June 23, 2025 12:51 21m 48s fix-several
fix-several
June 23, 2025 12:51 21m 48s
Generate Test Report Generate Test Report #749: completed by superaxander
June 23, 2025 12:12 31s
June 23, 2025 12:12 31s
Fix missing LabelDecl for vesuv_run and Java initialisers (Fixes #1313) Run ScalaTest #3467: Commit f198799 pushed by superaxander
June 23, 2025 11:50 22m 27s fix-several
fix-several
June 23, 2025 11:50 22m 27s
Generate Test Report Generate Test Report #748: completed by superaxander
June 23, 2025 10:08 28s
June 23, 2025 10:08 28s
Fix #1306 and check for contract on variables and multi-initialisers … Run ScalaTest #3466: Commit da34310 pushed by superaxander
June 23, 2025 09:44 23m 26s fix-several
fix-several
June 23, 2025 09:44 23m 26s
Generate Test Report Generate Test Report #747: completed by superaxander
June 23, 2025 09:21 23s
June 23, 2025 09:21 23s
Merge pull request #1358 from utwente-fmt/experiment-pointer-relations (Pre)-Release #154: Commit 084e24d pushed by superaxander
June 23, 2025 08:57 18m 22s dev
dev
June 23, 2025 08:57 18m 22s
Merge pull request #1358 from utwente-fmt/experiment-pointer-relations Run ScalaTest #3465: Commit 084e24d pushed by superaxander
June 23, 2025 08:57 23m 39s dev
dev
June 23, 2025 08:57 23m 39s
Generate Test Report Generate Test Report #746: completed by superaxander
June 23, 2025 08:57 21s
June 23, 2025 08:57 21s
Generate Test Report Generate Test Report #745: completed by superaxander
June 23, 2025 08:35 1s
June 23, 2025 08:35 1s
C Encoding: Arrays, pointer relations, heap variable locations Run ScalaTest #3464: Pull request #1358 synchronize by superaxander
June 23, 2025 08:35 1s experiment-pointer-relations
experiment-pointer-relations
June 23, 2025 08:35 1s
Remove cast support from integer to pointer array for now Run ScalaTest #3463: Commit d7a9b84 pushed by superaxander
June 23, 2025 08:35 21m 17s experiment-pointer-relations
experiment-pointer-relations
June 23, 2025 08:35 21m 17s
Build and add wiki release Build and add wiki release #370: by superaxander
June 23, 2025 08:28 6m 3s
June 23, 2025 08:28 6m 3s
Generate Test Report Generate Test Report #744: completed by superaxander
June 20, 2025 15:09 30s
June 20, 2025 15:09 30s
Generate Test Report Generate Test Report #743: completed by superaxander
June 20, 2025 14:46 1s
June 20, 2025 14:46 1s
C Encoding: Arrays, pointer relations, heap variable locations Run ScalaTest #3462: Pull request #1358 synchronize by superaxander
June 20, 2025 14:46 1s experiment-pointer-relations
experiment-pointer-relations
June 20, 2025 14:46 1s
Add coercion from pointer to pointer array Run ScalaTest #3461: Commit 9a425fb pushed by superaxander
June 20, 2025 14:46 23m 15s experiment-pointer-relations
experiment-pointer-relations
June 20, 2025 14:46 23m 15s
Generate Test Report Generate Test Report #742: completed by superaxander
June 20, 2025 10:05 22s
June 20, 2025 10:05 22s
0