Skip to content

Actions: diku-dk/futhark

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
982 workflow runs
982 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

futhark fmt: improve loops.
CI #7962: Commit b168e38 pushed by athas
November 7, 2024 20:00 4h 37m 41s master
November 7, 2024 20:00 4h 37m 41s
futhark fmt: fix indentation inside parens.
CI #7961: Commit 5b03b36 pushed by athas
November 7, 2024 19:42 3h 19m 27s master
November 7, 2024 19:42 3h 19m 27s
futhark fmt: improve specs and sum types.
CI #7960: Commit 7f8856e pushed by athas
November 7, 2024 19:38 3h 1m 30s master
November 7, 2024 19:38 3h 1m 30s
Better error message for test timeouts.
CI #7959: Commit 393f1ae pushed by athas
November 7, 2024 19:20 42m 4s master
November 7, 2024 19:20 42m 4s
futhark fmt: better sum types.
CI #7958: Commit dd240d3 pushed by athas
November 7, 2024 15:53 22m 31s master
November 7, 2024 15:53 22m 31s
Allow lambdas to be passed as last argument.
CI #7957: Commit c7299ea pushed by athas
November 7, 2024 15:28 46m 11s master
November 7, 2024 15:28 46m 11s
futhark repl: tweak tab completion.
CI #7956: Commit 1ac13f0 pushed by athas
November 7, 2024 13:53 42m 49s master
November 7, 2024 13:53 42m 49s
Need some checks here.
CI #7955: Commit 470eec2 pushed by athas
November 7, 2024 12:31 1h 42m 15s master
November 7, 2024 12:31 1h 42m 15s
futhark fmt: strip trailing whitespace from comments.
CI #7954: Commit 4c3920d pushed by athas
November 7, 2024 09:59 41m 28s master
November 7, 2024 09:59 41m 28s
Preserve blank lines between comments.
CI #7953: Commit dc26885 pushed by athas
November 6, 2024 22:39 41m 27s master
November 6, 2024 22:39 41m 27s
futhark fmt: improve leading comment in if branch.
CI #7952: Commit 8036493 pushed by athas
November 6, 2024 21:09 1h 43m 2s master
November 6, 2024 21:09 1h 43m 2s
futhark fmt: support implicit form of record patterns.
CI #7951: Commit 6866697 pushed by athas
November 6, 2024 14:43 1h 42m 46s master
November 6, 2024 14:43 1h 42m 46s
Better formatting of ascriptions.
CI #7950: Commit 344d91f pushed by athas
November 5, 2024 08:31 41m 22s master
November 5, 2024 08:31 41m 22s
Call abortServer on test timeout. (#2191)
CI #7949: Commit 1212f9a pushed by athas
November 4, 2024 18:35 5h 0m 13s master
November 4, 2024 18:35 5h 0m 13s
Call abortServer on test timeout.
CI #7948: Pull request #2191 synchronize by kaol
November 4, 2024 15:50 7h 20m 1s kaol:test-timeout-race-abort
November 4, 2024 15:50 7h 20m 1s
futhark fmt deserves its own manpage.
CI #7947: Commit d8f284b pushed by athas
November 4, 2024 15:39 5h 57m 24s master
November 4, 2024 15:39 5h 57m 24s
Allow formatting of multiple files.
CI #7946: Commit 09c4284 pushed by athas
November 4, 2024 15:34 4h 24m 38s master
November 4, 2024 15:34 4h 24m 38s
Bump futhark-server dependency.
CI #7945: Commit 823d24f pushed by athas
November 4, 2024 15:30 1h 36m 43s master
November 4, 2024 15:30 1h 36m 43s
futhark fmt: improve if-then-else.
CI #7944: Commit 703fb70 pushed by athas
November 4, 2024 14:35 2h 9m 17s master
November 4, 2024 14:35 2h 9m 17s
Call abortServer on test timeout.
CI #7943: Pull request #2191 opened by kaol
November 4, 2024 14:02 30m 52s kaol:test-timeout-race-abort
November 4, 2024 14:02 30m 52s
Simplify printing of application.
CI #7942: Commit dbce2db pushed by athas
November 4, 2024 12:27 2h 39m 46s master
November 4, 2024 12:27 2h 39m 46s
Whitespace fixes.
CI #7941: Commit ecc626c pushed by athas
November 4, 2024 11:25 49m 50s master
November 4, 2024 11:25 49m 50s
AUTOMAP
CI #7940: Pull request #2159 synchronize by athas
November 4, 2024 11:22 52m 12s automap
November 4, 2024 11:22 52m 12s
futhark fmt: no linebreak before parens.
CI #7939: Commit 86cf19a pushed by athas
November 3, 2024 10:36 11h 28m 20s master
November 3, 2024 10:36 11h 28m 20s
We also want a space here.
CI #7938: Commit 9db8668 pushed by athas
November 3, 2024 10:19 8h 53m 22s master
November 3, 2024 10:19 8h 53m 22s