Skip to content

Actions: utwente-fmt/vercors

Actions

(Pre)-Release

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
release.yml
105 workflow runs
105 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #1239 from wandernauta/issue-1233 (Pre)-Release #105: Commit dc107f0 pushed by superaxander
October 3, 2024 08:26 16m 17s dev
dev
October 3, 2024 08:26 16m 17s
Merge pull request #1250 from wandernauta/issue-1240 (Pre)-Release #104: Commit a2c2b5c pushed by superaxander
September 30, 2024 13:25 16m 0s dev
dev
September 30, 2024 13:25 16m 0s
Merge pull request #1249 from wandernauta/issue-1243 (Pre)-Release #103: Commit 891530b pushed by superaxander
September 30, 2024 12:41 15m 53s dev
dev
September 30, 2024 12:41 15m 53s
Merge pull request #1254 from superaxander/update-actions (Pre)-Release #102: Commit db1fd72 pushed by superaxander
September 30, 2024 12:19 16m 0s dev
dev
September 30, 2024 12:19 16m 0s
Update upload-/download-artifact and get artifacts from the correct w… (Pre)-Release #101: Commit 6f0cb15 pushed by superaxander
September 30, 2024 11:17 16m 45s dev
dev
September 30, 2024 11:17 16m 45s
Merge pull request #1253 from utwente-fmt/fix-test-report-ci (Pre)-Release #100: Commit 2fcf164 pushed by superaxander
September 30, 2024 09:05 15m 58s dev
dev
September 30, 2024 09:05 15m 58s
Merge pull request #1252 from utwente-fmt/unsound-auto-value (Pre)-Release #99: Commit 3cb0d92 pushed by superaxander
September 27, 2024 14:41 16m 1s dev
dev
September 27, 2024 14:41 16m 1s
Merge pull request #1244 from utwente-fmt/veymont-lightweight-permiss… (Pre)-Release #98: Commit cd30c48 pushed by bobismijnnaam
September 25, 2024 14:41 15m 52s dev
dev
September 25, 2024 14:41 15m 52s
Merge pull request #1236 from wandernauta/issue-1235 (Pre)-Release #97: Commit 89999e9 pushed by superaxander
September 17, 2024 07:31 16m 6s dev
dev
September 17, 2024 07:31 16m 6s
SimplifyNestedQuantifiers: follow binder by body type, fixes #1231 (Pre)-Release #96: Commit 8fab87a pushed by pieter-bos
August 27, 2024 09:06 16m 33s dev
dev
August 27, 2024 09:06 16m 33s
disable evenPhase (Pre)-Release #95: Commit a6105f9 pushed by pieter-bos
August 14, 2024 13:42 17m 10s v2.2.0
v2.2.0
August 14, 2024 13:42 17m 10s
disable evenPhase (Pre)-Release #94: Commit a6105f9 pushed by pieter-bos
August 14, 2024 13:16 16m 16s dev
dev
August 14, 2024 13:16 16m 16s
Change a progress message (Pre)-Release #93: Commit 2cd790d pushed by bobismijnnaam
August 14, 2024 12:31 16m 17s dev
dev
August 14, 2024 12:31 16m 17s
Rename clone to copy. Delete some old code. (Pre)-Release #92: Commit ac118ea pushed by bobismijnnaam
August 14, 2024 12:23 16m 36s dev
dev
August 14, 2024 12:23 16m 36s
Include precondition in generated implementation. (Pre)-Release #91: Commit d53c591 pushed by bobismijnnaam
August 14, 2024 12:08 16m 39s dev
dev
August 14, 2024 12:08 16m 39s
Remove a few todos from veymont tests (Pre)-Release #90: Commit 77343b4 pushed by bobismijnnaam
August 13, 2024 13:25 17m 7s dev
dev
August 13, 2024 13:25 17m 7s
Merge pull request #1225 from utwente-fmt/veymont-codegen (Pre)-Release #89: Commit eede436 pushed by bobismijnnaam
August 9, 2024 14:19 16m 30s dev
dev
August 9, 2024 14:19 16m 30s
Merge pull request #1228 from utwente-fmt/remove-rewrite-trigger-adt-… (Pre)-Release #88: Commit ea7341c pushed by superaxander
July 25, 2024 15:04 16m 19s dev
dev
July 25, 2024 15:04 16m 19s
Merge pull request #1226 from utwente-fmt/update-cpp-parser (Pre)-Release #87: Commit cf26fff pushed by superaxander
July 22, 2024 14:56 16m 26s dev
dev
July 22, 2024 14:56 16m 26s
Merge pull request #1210 from utwente-fmt/veymont-stratified-permissions (Pre)-Release #86: Commit c4a1921 pushed by bobismijnnaam
July 18, 2024 08:23 16m 16s dev
dev
July 18, 2024 08:23 16m 16s
Merge pull request #1224 from utwente-fmt/middleware (Pre)-Release #85: Commit 5b57168 pushed by pieter-bos
July 16, 2024 08:07 16m 22s dev
dev
July 16, 2024 08:07 16m 22s
Merge pull request #1223 from utwente-fmt/fix-cmake (Pre)-Release #84: Commit 4316f4d pushed by bobismijnnaam
July 12, 2024 09:14 16m 33s dev
dev
July 12, 2024 09:14 16m 33s
Merge pull request #1221 from utwente-fmt/rasi_generator (Pre)-Release #83: Commit 20bc29f pushed by pieter-bos
July 10, 2024 08:52 2m 38s dev
dev
July 10, 2024 08:52 2m 38s
Merge pull request #1217 from sakehl/fix-#1215 (Pre)-Release #82: Commit b860455 pushed by pieter-bos
July 8, 2024 12:38 16m 34s dev
dev
July 8, 2024 12:38 16m 34s
remove temporary files (Pre)-Release #81: Commit 52bb375 pushed by pieter-bos
July 4, 2024 15:10 17m 6s dev
dev
July 4, 2024 15:10 17m 6s