Skip to content

Actions: cardano-scaling/alba

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
948 workflow runs
948 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Setup GHA workflow to publish docs using mdbook Haskell CI #48: Pull request #3 synchronize by ghost
June 16, 2024 09:40 2m 51s init-site
init-site
June 16, 2024 09:40 2m 51s
Setup GHA workflow to publish docs using mdbook Haskell CI #47: Pull request #3 opened by ghost
June 16, 2024 09:39 1m 19s init-site
init-site
June 16, 2024 09:39 1m 19s
Retry logic when "wheel" is not good enough Haskell CI #46: Pull request #2 synchronize by ghost
June 16, 2024 06:55 8m 21s retry-logic
retry-logic
June 16, 2024 06:55 8m 21s
Retry logic when "wheel" is not good enough Haskell CI #45: Pull request #2 opened by ghost
June 15, 2024 21:37 7m 28s retry-logic
retry-logic
June 15, 2024 21:37 7m 28s
Rust implementation of ALBA Haskell CI #44: Pull request #1 synchronize by curiecrypt
June 11, 2024 14:53 2m 18s curiecrypt/albarust
curiecrypt/albarust
June 11, 2024 14:53 2m 18s
Rust implementation of ALBA Haskell CI #43: Pull request #1 opened by curiecrypt
June 6, 2024 15:27 8m 11s curiecrypt/albarust
curiecrypt/albarust
June 6, 2024 15:27 8m 11s
Update README.md Haskell CI #42: Commit 16821e2 pushed by ghost
May 24, 2024 19:41 2m 28s main
main
May 24, 2024 19:41 2m 28s
Add empty lines Haskell CI #41: Commit c498ac9 pushed by ghost
May 22, 2024 19:35 2m 27s main
main
May 22, 2024 19:35 2m 27s
Add function for log base 2 Haskell CI #40: Commit 541170b pushed by ghost
May 22, 2024 19:33 2m 35s main
main
May 22, 2024 19:33 2m 35s
Fix display of notes Haskell CI #39: Commit 30e6a2a pushed by ghost
May 22, 2024 16:16 2m 32s main
main
May 22, 2024 16:16 2m 32s
Add missing image Haskell CI #38: Commit 72de1e4 pushed by ghost
May 22, 2024 16:14 2m 40s main
main
May 22, 2024 16:14 2m 40s
Distinguish between size and bound parameters when proving Haskell CI #37: Commit 9830e6e pushed by ghost
May 22, 2024 16:12 2m 22s main
main
May 22, 2024 16:12 2m 22s
Update computation of u,d, and q params Haskell CI #36: Commit 4759c27 pushed by ghost
May 22, 2024 09:49 2m 24s main
main
May 22, 2024 09:49 2m 24s
Update computation of u,d, and q params Haskell CI #35: Commit 67e6eee pushed by ghost
May 22, 2024 09:45 2m 24s main
main
May 22, 2024 09:45 2m 24s
Add basic benchmark Haskell CI #34: Commit ee19b4d pushed by ghost
May 22, 2024 09:39 2m 28s main
main
May 22, 2024 09:39 2m 28s
Fix minor typo Haskell CI #33: Commit a36d743 pushed by ghost
May 22, 2024 09:08 2m 22s main
main
May 22, 2024 09:08 2m 22s
Fix names of benchmark graphs Haskell CI #32: Commit d1c23ca pushed by ghost
May 22, 2024 09:04 2m 25s main
main
May 22, 2024 09:04 2m 25s
More documentation on benchmarks Haskell CI #31: Commit 2e8d9c7 pushed by ghost
May 22, 2024 08:58 2m 5s main
main
May 22, 2024 08:58 2m 5s
Detail proving process' steps Haskell CI #30: Commit afd6d66 pushed by ghost
May 20, 2024 07:07 4m 13s main
main
May 20, 2024 07:07 4m 13s
Detail proving process' steps Haskell CI #29: Commit 34961b2 pushed by ghost
May 20, 2024 07:04 2m 22s main
main
May 20, 2024 07:04 2m 22s
Sketch documentation of proving process Haskell CI #28: Commit 8893e4b pushed by ghost
May 19, 2024 21:04 2m 21s main
main
May 19, 2024 21:04 2m 21s
Add --help flag and use larger sets for benchmarks Haskell CI #27: Commit 2efa707 pushed by ghost
May 13, 2024 16:00 7m 55s main
main
May 13, 2024 16:00 7m 55s
Use same parameters for proving and verifying in rejection test Haskell CI #26: Commit 9856a25 pushed by ghost
May 6, 2024 07:10 2m 26s main
main
May 6, 2024 07:10 2m 26s
Added --help option Haskell CI #25: Commit 04e27a0 pushed by ghost
May 5, 2024 15:56 2m 18s main
main
May 5, 2024 15:56 2m 18s
Remove previous version of prove Haskell CI #24: Commit 4ef9ab6 pushed by ghost
May 5, 2024 12:18 2m 42s main
main
May 5, 2024 12:18 2m 42s
ProTip! You can narrow down the results and go further in time using created:<2024-05-05 or the other filters available.