Skip to content

Actions: diku-dk/futhark

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,153 workflow runs
2,153 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Improve.
CI #6777: Commit 24ed327 pushed by athas
September 20, 2023 16:47 1h 39m 35s master
September 20, 2023 16:47 1h 39m 35s
Format command for REPL #1567 (#2020)
CI #6776: Commit 2ec596c pushed by athas
September 19, 2023 14:05 1h 17m 56s master
September 19, 2023 14:05 1h 17m 56s
Format command for REPL #1567 (#2020)
Benchmark #564: Commit 2ec596c pushed by athas
September 19, 2023 14:05 2h 10m 59s master
September 19, 2023 14:05 2h 10m 59s
Format command for REPL #1567
Benchmark #563: Pull request #2020 synchronize by dominicmkennedy
September 19, 2023 13:20 22s dominicmkennedy:master
September 19, 2023 13:20 22s
Format command for REPL #1567
CI #6775: Pull request #2020 synchronize by dominicmkennedy
September 19, 2023 13:20 1h 17m 51s dominicmkennedy:master
September 19, 2023 13:20 1h 17m 51s
Slightly better type name in this case.
Benchmark #562: Commit cf0666a pushed by athas
September 19, 2023 12:05 1h 51m 17s master
September 19, 2023 12:05 1h 51m 17s
Slightly better type name in this case.
CI #6774: Commit cf0666a pushed by athas
September 19, 2023 12:05 1h 19m 47s master
September 19, 2023 12:05 1h 19m 47s
Format command for REPL #1567
CI #6773: Pull request #2020 synchronize by dominicmkennedy
September 19, 2023 02:25 1h 17m 46s dominicmkennedy:master
September 19, 2023 02:25 1h 17m 46s
Format command for REPL #1567
Benchmark #561: Pull request #2020 synchronize by dominicmkennedy
September 19, 2023 02:25 7s dominicmkennedy:master
September 19, 2023 02:25 7s
Take the free variables to also include aliases.
Benchmark #560: Commit 71065ac pushed by athas
September 18, 2023 12:26 1h 13m 9s master
September 18, 2023 12:26 1h 13m 9s
Take the free variables to also include aliases.
CI #6772: Commit 71065ac pushed by athas
September 18, 2023 12:26 3h 56m 36s master
September 18, 2023 12:26 3h 56m 36s
More concise and efficient.
CI #6771: Commit 66502d0 pushed by athas
September 18, 2023 12:10 2h 30m 5s master
September 18, 2023 12:10 2h 30m 5s
More concise and efficient.
Benchmark #559: Commit 66502d0 pushed by athas
September 18, 2023 12:10 3h 35m 14s master
September 18, 2023 12:10 3h 35m 14s
Fix #2021.
CI #6770: Commit af76f4a pushed by athas
September 18, 2023 12:08 1h 29m 46s master
September 18, 2023 12:08 1h 29m 46s
Fix #2021.
Benchmark #558: Commit af76f4a pushed by athas
September 18, 2023 12:08 1h 54m 43s master
September 18, 2023 12:08 1h 54m 43s
Print more floating point digits.
Benchmark #557: Commit 5b9520d pushed by athas
September 18, 2023 10:29 1h 19m 17s master
September 18, 2023 10:29 1h 19m 17s
Print more floating point digits.
CI #6769: Commit 5b9520d pushed by athas
September 18, 2023 10:29 1h 50m 39s master
September 18, 2023 10:29 1h 50m 39s
Format command for REPL #1567
CI #6768: Pull request #2020 opened by dominicmkennedy
September 16, 2023 23:31 1h 16m 32s dominicmkennedy:master
September 16, 2023 23:31 1h 16m 32s
Move to newer Hackage snapshot.
CI #6767: Commit 5d929ca pushed by athas
September 16, 2023 19:16 3h 39m 8s master
September 16, 2023 19:16 3h 39m 8s
Move to newer Hackage snapshot.
Benchmark #556: Commit 5d929ca pushed by athas
September 16, 2023 19:16 4h 41m 44s master
September 16, 2023 19:16 4h 41m 44s
Onwards!
CI #6766: Commit 508ab53 pushed by athas
September 16, 2023 18:48 3h 29m 33s master
September 16, 2023 18:48 3h 29m 33s
Onwards!
Benchmark #555: Commit 508ab53 pushed by athas
September 16, 2023 18:48 2h 51m 39s master
September 16, 2023 18:48 2h 51m 39s
This is 0.25.4.
Release #66: Commit 6f7ab02 pushed by athas
September 16, 2023 18:47 30m 20s v0.25.4
September 16, 2023 18:47 30m 20s
This is 0.25.4.
CI #6765: Commit 6f7ab02 pushed by athas
September 16, 2023 18:47 1h 33m 2s master
September 16, 2023 18:47 1h 33m 2s
This is 0.25.4.
Benchmark #554: Commit 6f7ab02 pushed by athas
September 16, 2023 18:47 1h 48m 5s master
September 16, 2023 18:47 1h 48m 5s
ProTip! You can narrow down the results and go further in time using created:<2023-09-16 or the other filters available.