Skip to content

Actions: oxarbitrage/hsalsa20

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
116 workflow runs
116 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

add refinement annotations to Crypt module Haskell CI #110: Commit 4461c8c pushed by oxarbitrage
November 28, 2023 14:19 28m 29s main
main
November 28, 2023 14:19 28m 29s
add list size refinements to Expansion module Haskell CI #109: Commit dcece59 pushed by oxarbitrage
November 27, 2023 20:21 24m 25s main
main
November 27, 2023 20:21 24m 25s
add refinements to display hash functions Haskell CI #108: Commit f5ee5e5 pushed by oxarbitrage
November 26, 2023 23:42 26m 20s main
main
November 26, 2023 23:42 26m 20s
refine some more Haskell CI #107: Commit fd7a736 pushed by oxarbitrage
November 24, 2023 23:41 19m 44s main
main
November 24, 2023 23:41 19m 44s
refine doubleround compute and display functions Haskell CI #106: Commit 0b97dc7 pushed by oxarbitrage
November 23, 2023 12:42 15m 45s main
main
November 23, 2023 12:42 15m 45s
add list size refinements to rowround Haskell CI #105: Commit b44f401 pushed by oxarbitrage
November 22, 2023 01:24 9m 17s main
main
November 22, 2023 01:24 9m 17s
remove some utility functions Haskell CI #104: Commit 568bae0 pushed by oxarbitrage
November 16, 2023 13:20 7m 53s main
main
November 16, 2023 13:20 7m 53s
add some liquid refinements to some list sizes in quarterround Haskell CI #103: Commit b4be0bd pushed by oxarbitrage
November 15, 2023 23:24 6m 43s main
main
November 15, 2023 23:24 6m 43s
remove keelung tests from CI for now Haskell CI #102: Commit 2303ab0 pushed by oxarbitrage
November 15, 2023 20:14 4m 39s main
main
November 15, 2023 20:14 4m 39s
fix command in keelung book Haskell CI #101: Commit 520d028 pushed by oxarbitrage
November 15, 2023 19:44 3m 35s main
main
November 15, 2023 19:44 3m 35s
add keelung chapter to the book Haskell CI #100: Commit ac259e1 pushed by oxarbitrage
November 15, 2023 17:39 3m 35s main
main
November 15, 2023 17:39 3m 35s
fix cabal build Haskell CI #99: Commit 1b381ad pushed by oxarbitrage
November 13, 2023 19:12 22m 20s main
main
November 13, 2023 19:12 22m 20s
write the first liquidhaskell real annotation Haskell CI #98: Commit 595242e pushed by oxarbitrage
November 13, 2023 18:32 4m 26s main
main
November 13, 2023 18:32 4m 26s
install z3 in the CI Haskell CI #97: Commit 13b40ce pushed by oxarbitrage
November 13, 2023 17:47 18m 40s main
main
November 13, 2023 17:47 18m 40s
introduce liquidhaskell to the project Haskell CI #96: Commit d3b14cc pushed by oxarbitrage
November 10, 2023 22:59 12m 41s main
main
November 10, 2023 22:59 12m 41s
add demo application Haskell CI #95: Commit f1065bf pushed by oxarbitrage
November 9, 2023 18:53 4m 1s main
main
November 9, 2023 18:53 4m 1s
remove the equations functions from all modules Haskell CI #94: Commit 1c460d3 pushed by oxarbitrage
November 2, 2023 23:24 14m 16s main
main
November 2, 2023 23:24 14m 16s
only run keelung tests in ubuntu Haskell CI #93: Commit 4d18929 pushed by oxarbitrage
October 25, 2023 22:28 13m 23s main
main
October 25, 2023 22:28 13m 23s
try adding macos to CI Haskell CI #92: Commit 299a886 pushed by oxarbitrage
October 25, 2023 21:58 9m 28s main
main
October 25, 2023 21:58 9m 28s
docs in expansion and crypt modules Haskell CI #91: Commit c483e05 pushed by oxarbitrage
October 23, 2023 12:28 8m 37s main
main
October 23, 2023 12:28 8m 37s
improve documentation up to hash Haskell CI #90: Commit d787302 pushed by oxarbitrage
October 19, 2023 13:07 8m 12s main
main
October 19, 2023 13:07 8m 12s
add keelung tests to CI Haskell CI #89: Commit 1e46d07 pushed by oxarbitrage
October 16, 2023 23:08 6m 53s main
main
October 16, 2023 23:08 6m 53s
update cabal Haskell CI #88: Commit 6f4c7dd pushed by oxarbitrage
October 10, 2023 22:49 10m 4s main
main
October 10, 2023 22:49 10m 4s
change the ghc version in the workflow Haskell CI #87: Commit 3b3b13f pushed by oxarbitrage
October 10, 2023 22:42 2m 44s main
main
October 10, 2023 22:42 2m 44s
fix the cabal build Haskell CI #86: Commit 598527d pushed by oxarbitrage
October 10, 2023 22:37 2m 24s main
main
October 10, 2023 22:37 2m 24s