Skip to content

Actions: diku-dk/futhark

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Refinement typing CI #6354: Pull request #1961 synchronize by zfnmxt
June 16, 2023 10:00 10m 57s refinement-typing
refinement-typing
June 16, 2023 10:00 10m 57s
Refinement typing Benchmark #152: Pull request #1961 synchronize by zfnmxt
June 16, 2023 10:00 9s refinement-typing
refinement-typing
June 16, 2023 10:00 9s
Refinement typing Benchmark #151: Pull request #1961 synchronize by catvayor
June 16, 2023 09:35 6s refinement-typing
refinement-typing
June 16, 2023 09:35 6s
Refinement typing CI #6353: Pull request #1961 synchronize by catvayor
June 16, 2023 09:35 14m 20s refinement-typing
refinement-typing
June 16, 2023 09:35 14m 20s
Refinement typing Benchmark #150: Pull request #1961 synchronize by catvayor
June 16, 2023 09:18 8s refinement-typing
refinement-typing
June 16, 2023 09:18 8s
Refinement typing CI #6352: Pull request #1961 synchronize by catvayor
June 16, 2023 09:18 14m 53s refinement-typing
refinement-typing
June 16, 2023 09:18 14m 53s
Implementation of irregular flattening CI #6351: Pull request #1740 synchronize by athas
June 15, 2023 22:00 34m 47s flattening
flattening
June 15, 2023 22:00 34m 47s
Implementation of irregular flattening Benchmark #149: Pull request #1740 synchronize by athas
June 15, 2023 22:00 8s flattening
flattening
June 15, 2023 22:00 8s
Implementation of irregular flattening CI #6350: Pull request #1740 synchronize by athas
June 15, 2023 15:49 41m 5s flattening
flattening
June 15, 2023 15:49 41m 5s
Implementation of irregular flattening Benchmark #148: Pull request #1740 synchronize by athas
June 15, 2023 15:49 6s flattening
flattening
June 15, 2023 15:49 6s
Start function flattening Benchmark #147: Pull request #1870 synchronize by athas
June 15, 2023 15:48 9m 15s flattening-functions
flattening-functions
June 15, 2023 15:48 9m 15s
Start function flattening CI #6349: Pull request #1870 synchronize by athas
June 15, 2023 15:48 58m 15s flattening-functions
flattening-functions
June 15, 2023 15:48 58m 15s
Remove Copy from IR. (#1963) Benchmark #146: Commit 94a6ce1 pushed by athas
June 15, 2023 15:36 1h 34m 41s master
master
June 15, 2023 15:36 1h 34m 41s
Remove Copy from IR. (#1963) CI #6348: Commit 94a6ce1 pushed by athas
June 15, 2023 15:36 1h 26m 17s master
master
June 15, 2023 15:36 1h 26m 17s
Remove Copy from IR. Benchmark #145: Pull request #1963 synchronize by athas
June 15, 2023 14:06 10s no-copy
no-copy
June 15, 2023 14:06 10s
Remove Copy from IR. CI #6347: Pull request #1963 synchronize by athas
June 15, 2023 14:06 1h 33m 5s no-copy
no-copy
June 15, 2023 14:06 1h 33m 5s
Remove Copy from IR. CI #6346: Pull request #1963 opened by athas
June 15, 2023 13:12 1h 28m 17s no-copy
no-copy
June 15, 2023 13:12 1h 28m 17s
Remove Copy from IR. Benchmark #144: Pull request #1963 opened by athas
June 15, 2023 13:12 9s no-copy
no-copy
June 15, 2023 13:12 9s
Less aggressive inlining. CI #6345: Pull request #1857 synchronize by athas
June 15, 2023 10:59 16m 1s better-inlining
better-inlining
June 15, 2023 10:59 16m 1s
Less aggressive inlining. Benchmark #143: Pull request #1857 synchronize by athas
June 15, 2023 10:59 29m 50s better-inlining
better-inlining
June 15, 2023 10:59 29m 50s
Less aggressive inlining. CI #6344: Pull request #1857 synchronize by athas
June 15, 2023 07:59 1h 34m 53s better-inlining
better-inlining
June 15, 2023 07:59 1h 34m 53s
Less aggressive inlining. Benchmark #142: Pull request #1857 synchronize by athas
June 15, 2023 07:59 2h 26m 40s better-inlining
better-inlining
June 15, 2023 07:59 2h 26m 40s
Refinement typing Benchmark #141: Pull request #1961 synchronize by catvayor
June 15, 2023 07:55 8s refinement-typing
refinement-typing
June 15, 2023 07:55 8s
Refinement typing CI #6343: Pull request #1961 synchronize by catvayor
June 15, 2023 07:55 14m 5s refinement-typing
refinement-typing
June 15, 2023 07:55 14m 5s
ProTip! You can narrow down the results and go further in time using created:<2023-06-15 or the other filters available.