Skip to content

Actions: utwente-fmt/vercors

Actions

Build and test

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
4 workflow runs
4 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Build and test Build and test #1930: by pieter-bos
April 2, 2024 14:47 9m 23s v1.4.1
v1.4.1
April 2, 2024 14:47 9m 23s
update executable name to vercors1 for installation alongside vercors 2 Build and test #1929: Commit d1fa608 pushed by pieter-bos
April 2, 2024 14:39 7m 32s v1
v1
April 2, 2024 14:39 7m 32s
add Jans patches to VerCors v1 Build and test #1928: Commit 130b5e5 pushed by pieter-bos
March 27, 2024 13:42 11m 40s v1
v1
March 27, 2024 13:42 11m 40s
bump sbt version Build and test #1927: Commit b959f91 pushed by pieter-bos
March 25, 2024 14:46 13m 5s v1
v1
March 25, 2024 14:46 13m 5s