Skip to content

Actions: leanprover/SampCert

Actions

Test FFI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ffitest.yml
131 workflow runs
131 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Sparse Vector Mechanism (WIP) Test FFI #137: Pull request #67 synchronize by markusdemedeiros
October 7, 2024 18:44 9m 59s markusdemedeiros:SparseVector
markusdemedeiros:SparseVector
October 7, 2024 18:44 9m 59s
Upgrade 4.10.0 (#66) Test FFI #130: Commit 9cb42e1 pushed by jtristan
August 20, 2024 19:00 10m 4s main
main
August 20, 2024 19:00 10m 4s
Upgrade 4.10.0 Test FFI #129: Pull request #66 opened by travitch
August 20, 2024 18:25 9m 53s Upgrade-4.10.0
Upgrade-4.10.0
August 20, 2024 18:25 9m 53s
Cleaning up codebase Test FFI #128: Pull request #64 synchronize by jtristan
August 15, 2024 19:15 9m 54s Cleanup
Cleanup
August 15, 2024 19:15 9m 54s
Cleaning up codebase Test FFI #127: Pull request #64 synchronize by jtristan
August 15, 2024 19:15 9m 57s Cleanup
Cleanup
August 15, 2024 19:15 9m 57s
Cleaning up codebase Test FFI #126: Pull request #64 opened by jtristan
August 15, 2024 16:46 10m 18s Cleanup
Cleanup
August 15, 2024 16:46 10m 18s
Improvements to Byte sampling (#63) Test FFI #125: Commit b7487ef pushed by jtristan
August 15, 2024 15:52 10m 18s main
main
August 15, 2024 15:52 10m 18s
Improvements to Byte sampling Test FFI #124: Pull request #63 synchronize by jtristan
August 15, 2024 15:40 9m 47s feat_tcb_reduction
feat_tcb_reduction
August 15, 2024 15:40 9m 47s
Improvements to Byte sampling Test FFI #123: Pull request #63 synchronize by jtristan
August 15, 2024 15:24 9m 51s feat_tcb_reduction
feat_tcb_reduction
August 15, 2024 15:24 9m 51s
Delete non-adaptive composition (#59) Test FFI #122: Commit ce95608 pushed by jtristan
August 15, 2024 15:18 9m 51s main
main
August 15, 2024 15:18 9m 51s
ε-DP to (1/2)ε²-zCDP bound (#38) Test FFI #121: Commit 7592fe1 pushed by jtristan
August 15, 2024 15:17 9m 56s main
main
August 15, 2024 15:17 9m 56s
Improvements to Byte sampling Test FFI #120: Pull request #63 synchronize by jtristan
August 15, 2024 15:12 9m 41s feat_tcb_reduction
feat_tcb_reduction
August 15, 2024 15:12 9m 41s
Unbounded noised maximum using the sparse vector technique Test FFI #119: Pull request #61 synchronize by mjdemedeiros
August 14, 2024 19:40 9m 53s mjdemedeiros:SparseVector_Noised_Max
mjdemedeiros:SparseVector_Noised_Max
August 14, 2024 19:40 9m 53s
Unbounded noised maximum using the sparse vector technique Test FFI #118: Pull request #61 synchronize by mjdemedeiros
August 14, 2024 18:49 9m 45s mjdemedeiros:SparseVector_Noised_Max
mjdemedeiros:SparseVector_Noised_Max
August 14, 2024 18:49 9m 45s
Unbounded noised maximum using the sparse vector technique Test FFI #117: Pull request #61 synchronize by mjdemedeiros
August 14, 2024 18:30 9m 27s mjdemedeiros:SparseVector_Noised_Max
mjdemedeiros:SparseVector_Noised_Max
August 14, 2024 18:30 9m 27s
Unbounded noised maximum using the sparse vector technique Test FFI #116: Pull request #61 synchronize by mjdemedeiros
August 14, 2024 15:56 9m 34s mjdemedeiros:SparseVector_Noised_Max
mjdemedeiros:SparseVector_Noised_Max
August 14, 2024 15:56 9m 34s
Unbounded noised maximum using the sparse vector technique Test FFI #115: Pull request #61 synchronize by mjdemedeiros
August 14, 2024 13:33 9m 59s mjdemedeiros:SparseVector_Noised_Max
mjdemedeiros:SparseVector_Noised_Max
August 14, 2024 13:33 9m 59s
Unbounded noised maximum using the sparse vector technique Test FFI #114: Pull request #61 synchronize by mjdemedeiros
August 13, 2024 20:36 10m 6s mjdemedeiros:SparseVector_Noised_Max
mjdemedeiros:SparseVector_Noised_Max
August 13, 2024 20:36 10m 6s
Unbounded noised maximum using the sparse vector technique Test FFI #113: Pull request #61 synchronize by mjdemedeiros
August 13, 2024 19:55 9m 58s mjdemedeiros:SparseVector_Noised_Max
mjdemedeiros:SparseVector_Noised_Max
August 13, 2024 19:55 9m 58s
Unbounded noised maximum using the sparse vector technique Test FFI #112: Pull request #61 synchronize by mjdemedeiros
August 13, 2024 17:58 9m 33s mjdemedeiros:SparseVector_Noised_Max
mjdemedeiros:SparseVector_Noised_Max
August 13, 2024 17:58 9m 33s
Unbounded noised maximum using the sparse vector technique Test FFI #111: Pull request #61 synchronize by mjdemedeiros
August 13, 2024 15:56 9m 52s mjdemedeiros:SparseVector_Noised_Max
mjdemedeiros:SparseVector_Noised_Max
August 13, 2024 15:56 9m 52s
Unbounded noised maximum using the sparse vector technique Test FFI #110: Pull request #61 synchronize by mjdemedeiros
August 13, 2024 13:54 9m 48s mjdemedeiros:SparseVector_Noised_Max
mjdemedeiros:SparseVector_Noised_Max
August 13, 2024 13:54 9m 48s
Unbounded noised maximum using the sparse vector technique Test FFI #109: Pull request #61 synchronize by mjdemedeiros
August 12, 2024 20:00 9m 23s mjdemedeiros:SparseVector_Noised_Max
mjdemedeiros:SparseVector_Noised_Max
August 12, 2024 20:00 9m 23s
Unbounded noised maximum using the sparse vector technique Test FFI #108: Pull request #61 synchronize by mjdemedeiros
August 9, 2024 20:43 9m 32s mjdemedeiros:SparseVector_Noised_Max
mjdemedeiros:SparseVector_Noised_Max
August 9, 2024 20:43 9m 32s
Unbounded noised maximum using the sparse vector technique Test FFI #107: Pull request #61 synchronize by mjdemedeiros
August 9, 2024 18:32 9m 53s mjdemedeiros:SparseVector_Noised_Max
mjdemedeiros:SparseVector_Noised_Max
August 9, 2024 18:32 9m 53s