Skip to content

Remove legacy (pre-Conway) diffusion pipelining scheme (#1292) #4620

Remove legacy (pre-Conway) diffusion pipelining scheme (#1292)

Remove legacy (pre-Conway) diffusion pipelining scheme (#1292) #4620

Triggered via push October 24, 2024 20:06
Status Success
Total duration 1h 41m 43s
Artifacts 5

ci.yml

on: push
Matrix: Build and test
Matrix: Run benchmarks
Deploy documentation to GitHub Pages
4m 5s
Deploy documentation to GitHub Pages
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
benchmark-exes-Linux-8.10.7
7.85 MB
benchmark-exes-Linux-9.10.1
7.06 MB
benchmark-exes-Linux-9.6.6
6.96 MB
github-pages Expired
20 MB
haddocks Expired
12.8 MB