Skip to content

Actions: utwente-fmt/vercors

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #1084 from utwente-fmt/issue-1060 Run ScalaTest #1700: Commit 62ecf8f pushed by pieter-bos
October 20, 2023 09:42 27m 4s dev
dev
October 20, 2023 09:42 27m 4s
fix #1060, actually fix #789: stop all non-daemon threads and timers Run ScalaTest #1699: Commit 0e6dd31 pushed by pieter-bos
October 20, 2023 09:14 27m 2s issue-1060
issue-1060
October 20, 2023 09:14 27m 2s
Merge pull request #1070 from utwente-fmt/sycl-rq2 Run ScalaTest #1698: Commit 6e96acd pushed by pieter-bos
October 20, 2023 06:54 22m 39s dev
dev
October 20, 2023 06:54 22m 39s
Possible implementation errors are now thrown using the Unreachable c… Run ScalaTest #1697: Commit cdc36a5 pushed by Ellen-Wittingen
October 19, 2023 14:22 25m 12s sycl-rq2
sycl-rq2
October 19, 2023 14:22 25m 12s
Add beginning of class type type checking Run ScalaTest #1696: Commit 3fad843 pushed by bobismijnnaam
October 18, 2023 15:44 6m 21s veymont-resolve-communicate
veymont-resolve-communicate
October 18, 2023 15:44 6m 21s
Little progress on adding resolution for communicate fields Run ScalaTest #1695: Commit 9686116 pushed by bobismijnnaam
October 18, 2023 15:38 6m 34s veymont-resolve-communicate
veymont-resolve-communicate
October 18, 2023 15:38 6m 34s
Refactor VeyMontSeqProg to SeqProg Run ScalaTest #1694: Commit 14f2e5b pushed by bobismijnnaam
October 18, 2023 14:29 23m 13s veymont-resolve-communicate
veymont-resolve-communicate
October 18, 2023 14:29 23m 13s
Place proper error code Run ScalaTest #1693: Commit 5878e32 pushed by bobismijnnaam
October 18, 2023 14:12 17m 34s veymont-resolve-communicate
veymont-resolve-communicate
October 18, 2023 14:12 17m 34s
Salvage early resolve stuff and tests Run ScalaTest #1692: Commit f2551d6 pushed by bobismijnnaam
October 18, 2023 14:10 1m 51s veymont-resolve-communicate
veymont-resolve-communicate
October 18, 2023 14:10 1m 51s
test ignore-revs Run ScalaTest #1691: Commit 895690f pushed by pieter-bos
October 18, 2023 12:06 9m 6s fmt-reformat-1
fmt-reformat-1
October 18, 2023 12:06 9m 6s
reformat example Run ScalaTest #1690: Commit 2420053 pushed by pieter-bos
October 18, 2023 10:36 11m 8s fmt-reformat-1
fmt-reformat-1
October 18, 2023 10:36 11m 8s
update scalafmt Run ScalaTest #1689: Commit ebdbcfd pushed by pieter-bos
October 18, 2023 10:35 26m 59s fmt
fmt
October 18, 2023 10:35 26m 59s
update scalafmt Run ScalaTest #1688: Commit 1bf76d5 pushed by pieter-bos
October 18, 2023 10:35 28s fmt
fmt
October 18, 2023 10:35 28s
typo Run ScalaTest #1687: Commit ee943dd pushed by pieter-bos
October 18, 2023 08:49 23m 0s fmt
fmt
October 18, 2023 08:49 23m 0s
Merge pull request #1079 from utwente-fmt/add-communicate-statement Run ScalaTest #1686: Commit 18755a3 pushed by pieter-bos
October 18, 2023 08:27 21m 16s dev
dev
October 18, 2023 08:27 21m 16s
Fixed majority of PR comments Run ScalaTest #1685: Commit 6b69d4f pushed by Ellen-Wittingen
October 17, 2023 15:11 23m 25s sycl-rq2
sycl-rq2
October 17, 2023 15:11 23m 25s
left a comment with the problem i have to solve Run ScalaTest #1684: Commit 78c3d81 pushed by Naum-Tomov
October 17, 2023 12:17 21m 23s refactor-origin
refactor-origin
October 17, 2023 12:17 21m 23s
Merge branch 'dev' into add-communicate-statement Run ScalaTest #1683: Commit 233010c pushed by bobismijnnaam
October 17, 2023 11:26 20m 3s add-communicate-statement
add-communicate-statement
October 17, 2023 11:26 20m 3s
Rename Run ScalaTest #1682: Commit 5a1dae1 pushed by bobismijnnaam
October 17, 2023 11:25 6m 0s veymont-resolve-communicate
veymont-resolve-communicate
October 17, 2023 11:25 6m 0s
Revert "Save work" Run ScalaTest #1681: Commit 2973b56 pushed by bobismijnnaam
October 17, 2023 08:41 21m 46s add-communicate-statement
add-communicate-statement
October 17, 2023 08:41 21m 46s
Save work Run ScalaTest #1680: Commit d666db9 pushed by bobismijnnaam
October 17, 2023 08:39 5m 59s veymont-resolve-communicate
veymont-resolve-communicate
October 17, 2023 08:39 5m 59s
Merge pull request #1078 from utwente-fmt/warnings Run ScalaTest #1679: Commit d63bd07 pushed by pieter-bos
October 16, 2023 15:40 22m 3s dev
dev
October 16, 2023 15:40 22m 3s
oops Run ScalaTest #1678: Commit 4bded5a pushed by pieter-bos
October 16, 2023 15:04 35m 31s warnings
warnings
October 16, 2023 15:04 35m 31s
write git hooks + mill tasks for formatting Run ScalaTest #1677: Commit 20ddff0 pushed by pieter-bos
October 16, 2023 14:10 23m 23s fmt
fmt
October 16, 2023 14:10 23m 23s
Save work Run ScalaTest #1676: Commit d666db9 pushed by bobismijnnaam
October 13, 2023 16:11 5m 50s add-communicate-statement
add-communicate-statement
October 13, 2023 16:11 5m 50s
ProTip! You can narrow down the results and go further in time using created:<2023-10-13 or the other filters available.