Skip to content

Actions: utwente-fmt/vercors

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,761 workflow runs
1,761 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Generate Test Report Generate Test Report #222: completed by bobismijnnaam
December 20, 2024 16:34 25s
December 20, 2024 16:34 25s
Starting with encoding endpoint families! Run ScalaTest #2953: Commit f82ebb2 pushed by bobismijnnaam
December 20, 2024 16:09 25m 25s veymont-parameterization-syntax
veymont-parameterization-syntax
December 20, 2024 16:09 25m 25s
Generate Test Report Generate Test Report #221: completed by bobismijnnaam
December 20, 2024 15:23 19s
December 20, 2024 15:23 19s
Finally do something about prettyprinting. Also add endpoint expressi… Run ScalaTest #2952: Commit 163776b pushed by bobismijnnaam
December 20, 2024 15:16 7m 3s veymont-parameterization-syntax
veymont-parameterization-syntax
December 20, 2024 15:16 7m 3s
Generate Test Report Generate Test Report #220: completed by bobismijnnaam
December 19, 2024 16:22 19s
December 19, 2024 16:22 19s
Need to handle rangebinder properly in stratifyunpointedexpressions Run ScalaTest #2951: Commit b2bd9bf pushed by bobismijnnaam
December 19, 2024 16:15 7m 18s veymont-parameterization-syntax
veymont-parameterization-syntax
December 19, 2024 16:15 7m 18s
Generate Test Report Generate Test Report #219: completed by OmerSakar
December 19, 2024 15:03 36s
December 19, 2024 15:03 36s
Merge branch 'dev' into sycl-patch Run ScalaTest #2950: Commit 7f34359 pushed by OmerSakar
December 19, 2024 14:42 21m 28s sycl-patch
sycl-patch
December 19, 2024 14:42 21m 28s
Generate Test Report Generate Test Report #218: completed by OmerSakar
December 19, 2024 14:21 25s
December 19, 2024 14:21 25s
Merge pull request #1297 from utwente-fmt/issue-924 Run ScalaTest #2949: Commit 2bd3bca pushed by OmerSakar
December 19, 2024 13:56 25m 25s dev
dev
December 19, 2024 13:56 25m 25s
Merge pull request #1297 from utwente-fmt/issue-924 (Pre)-Release #121: Commit 2bd3bca pushed by OmerSakar
December 19, 2024 13:56 16m 44s dev
dev
December 19, 2024 13:56 16m 44s
Generate Test Report Generate Test Report #217: completed by OmerSakar
December 19, 2024 13:16 24s
December 19, 2024 13:16 24s
Generate Test Report Generate Test Report #216: completed by OmerSakar
December 19, 2024 12:56 2s
December 19, 2024 12:56 2s
Generate Test Report Generate Test Report #215: completed by OmerSakar
December 19, 2024 12:56 1s
December 19, 2024 12:56 1s
Fixed issue #924: context_everywhere was not propagated correctly in run methods. Run ScalaTest #2948: Pull request #1297 synchronize by OmerSakar
December 19, 2024 12:56 3s issue-924
issue-924
December 19, 2024 12:56 3s
Fix formatting issue (forgot to hookup githooks) Run ScalaTest #2947: Commit 90f14e7 pushed by OmerSakar
December 19, 2024 12:56 20m 38s issue-924
issue-924
December 19, 2024 12:56 20m 38s
Generate Test Report Generate Test Report #214: completed by OmerSakar
December 19, 2024 12:38 2s
December 19, 2024 12:38 2s
Fixed issue #924: context_everywhere was not propagated correctly in run methods. Run ScalaTest #2946: Pull request #1297 opened by OmerSakar
December 19, 2024 12:38 3s issue-924
issue-924
December 19, 2024 12:38 3s
Fixed issue 924: Run ScalaTest #2945: Commit 45c32a4 pushed by OmerSakar
December 19, 2024 12:32 23m 33s issue-924
issue-924
December 19, 2024 12:32 23m 33s
Generate Test Report Generate Test Report #213: completed by bobismijnnaam
December 19, 2024 11:09 22s
December 19, 2024 11:09 22s
First run of branch unanimity works Run ScalaTest #2944: Commit 3ea5010 pushed by bobismijnnaam
December 19, 2024 11:01 7m 3s veymont-parameterization-syntax
veymont-parameterization-syntax
December 19, 2024 11:01 7m 3s
Generate Test Report Generate Test Report #212: completed by bobismijnnaam
December 18, 2024 16:16 40s
December 18, 2024 16:16 40s
Started working on the simplified (though less user-friendly) version… Run ScalaTest #2943: Commit 44c2442 pushed by bobismijnnaam
December 18, 2024 16:09 7m 10s veymont-parameterization-syntax
veymont-parameterization-syntax
December 18, 2024 16:09 7m 10s
Generate Test Report Generate Test Report #211: completed by RobertMensing
December 17, 2024 08:20 26s
December 17, 2024 08:20 26s
Generate Test Report Generate Test Report #210: completed by RobertMensing
December 17, 2024 07:56 1s
December 17, 2024 07:56 1s