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

No need for patIdents here. CI #6379: Commit 177b85a pushed by athas
June 21, 2023 12:58 1h 36m 10s master
master
June 21, 2023 12:58 1h 36m 10s
No need for patIdents here. Benchmark #177: Commit 177b85a pushed by athas
June 21, 2023 12:58 1d 8h 18m 37s master
master
June 21, 2023 12:58 1d 8h 18m 37s
Do not preserve TypeExps in frontend. CI #6378: Commit 9250228 pushed by athas
June 21, 2023 01:28 1h 22m 43s master
master
June 21, 2023 01:28 1h 22m 43s
Do not preserve TypeExps in frontend. Benchmark #176: Commit 9250228 pushed by athas
June 21, 2023 01:28 1h 41m 45s master
master
June 21, 2023 01:28 1h 41m 45s
Remove unnecessary code. CI #6377: Commit 6fe0ae5 pushed by athas
June 20, 2023 17:09 1h 32m 50s master
master
June 20, 2023 17:09 1h 32m 50s
Remove unnecessary code. Benchmark #175: Commit 6fe0ae5 pushed by athas
June 20, 2023 17:09 1h 44m 27s master
master
June 20, 2023 17:09 1h 44m 27s
futhark test: do not type-check when in -I mode. CI #6376: Commit aefb1c9 pushed by athas
June 20, 2023 15:40 1h 13m 38s master
master
June 20, 2023 15:40 1h 13m 38s
futhark test: do not type-check when in -I mode. Benchmark #174: Commit aefb1c9 pushed by athas
June 20, 2023 15:40 1h 29m 23s master
master
June 20, 2023 15:40 1h 29m 23s
This hack is not needed anymore. CI #6375: Commit c9c3a23 pushed by athas
June 20, 2023 13:48 1h 22m 51s master
master
June 20, 2023 13:48 1h 22m 51s
This hack is not needed anymore. Benchmark #173: Commit c9c3a23 pushed by athas
June 20, 2023 13:48 2h 5m 32s master
master
June 20, 2023 13:48 2h 5m 32s
futhark test: add -I option. CI #6374: Commit 1510c87 pushed by athas
June 20, 2023 13:27 1h 24m 9s master
master
June 20, 2023 13:27 1h 24m 9s
futhark test: add -I option. Benchmark #172: Commit 1510c87 pushed by athas
June 20, 2023 13:27 1h 48m 26s master
master
June 20, 2023 13:27 1h 48m 26s
Assign intrinsics.unflatten a precise type. CI #6373: Commit ab71d00 pushed by athas
June 19, 2023 21:56 1h 29m 25s master
master
June 19, 2023 21:56 1h 29m 25s
Assign intrinsics.unflatten a precise type. Benchmark #171: Commit ab71d00 pushed by athas
June 19, 2023 21:56 4h 35m 43s master
master
June 19, 2023 21:56 4h 35m 43s
Refinement typing Benchmark #170: Pull request #1961 synchronize by athas
June 19, 2023 20:43 8s refinement-typing
refinement-typing
June 19, 2023 20:43 8s
Refinement typing CI #6372: Pull request #1961 synchronize by athas
June 19, 2023 20:43 13m 13s refinement-typing
refinement-typing
June 19, 2023 20:43 13m 13s
Avoid duplicating first-order code in defunctionalisation. Benchmark #169: Commit 25697a7 pushed by athas
June 19, 2023 19:14 2h 13m 16s master
master
June 19, 2023 19:14 2h 13m 16s
Avoid duplicating first-order code in defunctionalisation. CI #6371: Commit 25697a7 pushed by athas
June 19, 2023 19:14 1h 38m 25s master
master
June 19, 2023 19:14 1h 38m 25s
Remove Rotate from core language. (#1969) CI #6370: Commit 964f56e pushed by athas
June 19, 2023 16:40 1h 25m 22s master
master
June 19, 2023 16:40 1h 25m 22s
Remove Rotate from core language. (#1969) Benchmark #168: Commit 964f56e pushed by athas
June 19, 2023 16:40 2h 14m 58s master
master
June 19, 2023 16:40 2h 14m 58s
Refinement typing CI #6369: Pull request #1961 synchronize by zfnmxt
June 19, 2023 05:10 44m 23s refinement-typing
refinement-typing
June 19, 2023 05:10 44m 23s
Refinement typing Benchmark #167: Pull request #1961 synchronize by zfnmxt
June 19, 2023 05:10 7s refinement-typing
refinement-typing
June 19, 2023 05:10 7s
Remove Rotate from core language. Benchmark #166: Pull request #1969 synchronize by athas
June 19, 2023 01:27 2h 58m 13s norotate
norotate
June 19, 2023 01:27 2h 58m 13s
Remove Rotate from core language. CI #6368: Pull request #1969 synchronize by athas
June 19, 2023 01:27 1h 38m 38s norotate
norotate
June 19, 2023 01:27 1h 38m 38s
Remove Rotate from core language. Benchmark #165: Pull request #1969 labeled by athas
June 19, 2023 01:21 2h 55m 53s norotate
norotate
June 19, 2023 01:21 2h 55m 53s
ProTip! You can narrow down the results and go further in time using created:<2023-06-19 or the other filters available.