Skip to content

Actions: utwente-fmt/vercors

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
1,081 workflow runs
1,081 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
VeyMont: codegen Run ScalaTest #2222: Pull request #1188 synchronize by bobismijnnaam
May 2, 2024 15:04 3s veymont-codegen
veymont-codegen
May 2, 2024 15:04 3s
Probably best if I get rid of PVLSeqAssign simultaneously as well Run ScalaTest #2221: Commit de422b0 pushed by bobismijnnaam
May 2, 2024 15:04 7m 25s veymont-codegen
veymont-codegen
May 2, 2024 15:04 7m 25s
VeyMont: codegen Run ScalaTest #2220: Pull request #1188 synchronize by bobismijnnaam
May 2, 2024 13:54 5s veymont-codegen
veymont-codegen
May 2, 2024 13:54 5s
Break everything and fix Run ScalaTest #2219: Commit e249827 pushed by bobismijnnaam
May 2, 2024 13:54 7m 0s veymont-codegen
veymont-codegen
May 2, 2024 13:54 7m 0s
VeyMont: codegen Run ScalaTest #2218: Pull request #1188 synchronize by bobismijnnaam
May 2, 2024 11:53 4s veymont-codegen
veymont-codegen
May 2, 2024 11:53 4s
Give endpoints proper names Run ScalaTest #2217: Commit e41d2f5 pushed by bobismijnnaam
May 2, 2024 11:53 7m 25s veymont-codegen
veymont-codegen
May 2, 2024 11:53 7m 25s
VeyMont: codegen Run ScalaTest #2216: Pull request #1188 synchronize by bobismijnnaam
May 2, 2024 10:00 4s veymont-codegen
veymont-codegen
May 2, 2024 10:00 4s
Almost there with names Run ScalaTest #2215: Commit 82a61d2 pushed by bobismijnnaam
May 2, 2024 10:00 7m 1s veymont-codegen
veymont-codegen
May 2, 2024 10:00 7m 1s
VeyMont: codegen Run ScalaTest #2214: Pull request #1188 synchronize by bobismijnnaam
May 2, 2024 08:24 5s veymont-codegen
veymont-codegen
May 2, 2024 08:24 5s
Make pretty printing of constructors Run ScalaTest #2213: Commit 7ba83d8 pushed by bobismijnnaam
May 2, 2024 08:24 7m 6s veymont-codegen
veymont-codegen
May 2, 2024 08:24 7m 6s
VeyMont: codegen Run ScalaTest #2212: Pull request #1188 synchronize by bobismijnnaam
May 1, 2024 15:06 4s veymont-codegen
veymont-codegen
May 1, 2024 15:06 4s
??? Run ScalaTest #2211: Commit febafc7 pushed by bobismijnnaam
May 1, 2024 15:06 7m 2s veymont-codegen
veymont-codegen
May 1, 2024 15:06 7m 2s
VeyMont: codegen Run ScalaTest #2210: Pull request #1188 synchronize by bobismijnnaam
May 1, 2024 13:09 5s veymont-codegen
veymont-codegen
May 1, 2024 13:09 5s
Resolve type errors to get functional program Run ScalaTest #2209: Commit c0751ad pushed by bobismijnnaam
May 1, 2024 13:09 6m 59s veymont-codegen
veymont-codegen
May 1, 2024 13:09 6m 59s
VeyMont: codegen Run ScalaTest #2208: Pull request #1188 synchronize by bobismijnnaam
May 1, 2024 11:16 3s veymont-codegen
veymont-codegen
May 1, 2024 11:16 3s
Merge branch 'dev' into veymont-codegen Run ScalaTest #2207: Commit 344b0a6 pushed by bobismijnnaam
May 1, 2024 11:16 7m 10s veymont-codegen
veymont-codegen
May 1, 2024 11:16 7m 10s
add termination measure for set_choose functions (Pre)-Release #55: Commit d3f4438 pushed by pieter-bos
May 1, 2024 10:54 15m 32s dev
dev
May 1, 2024 10:54 15m 32s
add termination measure for set_choose functions Run ScalaTest #2206: Commit d3f4438 pushed by pieter-bos
May 1, 2024 10:54 21m 56s dev
dev
May 1, 2024 10:54 21m 56s
Merge pull request #1154 from utwente-fmt/generic-channels (Pre)-Release #54: Commit 7eaac75 pushed by bobismijnnaam
May 1, 2024 10:53 15m 52s dev
dev
May 1, 2024 10:53 15m 52s
Merge pull request #1154 from utwente-fmt/generic-channels Run ScalaTest #2205: Commit 7eaac75 pushed by bobismijnnaam
May 1, 2024 10:53 2m 14s dev
dev
May 1, 2024 10:53 2m 14s
Generics for PVL classes Run ScalaTest #2204: Pull request #1154 synchronize by bobismijnnaam
May 1, 2024 10:23 3s generic-channels
generic-channels
May 1, 2024 10:23 3s
Merge branch 'dev' into generic-channels Run ScalaTest #2203: Commit 53be6ad pushed by bobismijnnaam
May 1, 2024 10:22 19m 35s generic-channels
generic-channels
May 1, 2024 10:22 19m 35s
Added support for equations between simple arithmetic expressions; im… Run ScalaTest #2202: Commit 79c37dd pushed by PBHTasche
May 1, 2024 08:58 18m 14s rasi_generator
rasi_generator
May 1, 2024 08:58 18m 14s
fix path separator on windows (Pre)-Release #53: Commit 59c7ae9 pushed by pieter-bos
April 30, 2024 14:51 15m 43s dev
dev
April 30, 2024 14:51 15m 43s
fix path separator on windows Run ScalaTest #2201: Commit 59c7ae9 pushed by pieter-bos
April 30, 2024 14:51 19m 50s dev
dev
April 30, 2024 14:51 19m 50s