Skip to content

Actions: logsem/clutch

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
143 workflow run results
143 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

wp and twp example in intro of paper CI #165: Commit 15732e6 pushed by hei411
February 21, 2024 13:45 15m 18s main
main
February 21, 2024 13:45 15m 18s
Merge branch 'main' of github.com:logsem/clutch CI #164: Commit 4661ba4 pushed by alejandroag
February 20, 2024 15:26 15m 12s main
main
February 20, 2024 15:26 15m 12s
wp_list_iter_err CI #163: Commit c3ff5a8 pushed by hei411
February 20, 2024 09:36 14m 52s main
main
February 20, 2024 09:36 14m 52s
Merge branch 'main' of github.com:logsem/clutch CI #162: Commit 7c8f9ce pushed by alejandroag
February 20, 2024 09:06 15m 0s main
main
February 20, 2024 09:06 15m 0s
add List.iter error bound corollary CI #161: Commit af57c5e pushed by haselwarter
February 20, 2024 08:42 14m 51s main
main
February 20, 2024 08:42 14m 51s
Merge branch 'main' of github.com:logsem/clutch CI #160: Commit f7114c8 pushed by alejandroag
February 19, 2024 14:48 14m 53s main
main
February 19, 2024 14:48 14m 53s
update README CI #159: Commit e11ae5f pushed by simongregersen
February 16, 2024 12:26 15m 19s main
main
February 16, 2024 12:26 15m 19s
update README CI #158: Commit 26b242b pushed by simongregersen
February 16, 2024 12:25 15m 24s main
main
February 16, 2024 12:25 15m 24s
Merge pull request #23 from logsem/coq-8.18 CI #157: Commit e7fa570 pushed by haselwarter
February 16, 2024 12:15 15m 25s main
main
February 16, 2024 12:15 15m 25s
Upgrade to Coq 8.18 CI #156: Pull request #23 reopened by haselwarter
February 16, 2024 12:15 15m 24s coq-8.18
coq-8.18
February 16, 2024 12:15 15m 24s
Upgrade to Coq 8.18 CI #155: Pull request #23 opened by haselwarter
February 16, 2024 12:03 15m 32s coq-8.18
coq-8.18
February 16, 2024 12:03 15m 32s
Remove .vo files from external/ in make clean CI #154: Commit 749bed8 pushed by haselwarter
February 16, 2024 10:32 16m 7s main
main
February 16, 2024 10:32 16m 7s
update sampler examples to use the twp CI #153: Commit 5398cfd pushed by markusdemedeiros
February 15, 2024 21:12 16m 8s main
main
February 15, 2024 21:12 16m 8s
tpref: pure coin flips CI #152: Commit 6590835 pushed by simongregersen
February 15, 2024 15:36 16m 7s main
main
February 15, 2024 15:36 16m 7s
cleanup proof CI #151: Commit cb3e74f pushed by simongregersen
February 15, 2024 11:34 16m 5s main
main
February 15, 2024 11:34 16m 5s
merge CI #150: Commit d799f69 pushed by hei411
February 15, 2024 10:29 16m 16s main
main
February 15, 2024 10:29 16m 16s
merge CI #149: Commit f6bff3d pushed by hei411
February 15, 2024 09:49 16m 20s main
main
February 15, 2024 09:49 16m 20s
clean up CI #148: Commit d766227 pushed by haselwarter
February 15, 2024 07:45 16m 10s main
main
February 15, 2024 07:45 16m 10s
Merge pull request #21 from logsem/constant_hash CI #147: Commit 2bfaa1c pushed by hei411
February 14, 2024 20:13 8m 49s main
main
February 14, 2024 20:13 8m 49s
Merge pull request #22 from markusdemedeiros/single_stutter_merge CI #146: Commit 95903d6 pushed by markusdemedeiros
February 14, 2024 20:04 9m 8s main
main
February 14, 2024 20:04 9m 8s
Single stutter merge CI #145: Pull request #22 opened by markusdemedeiros
February 14, 2024 19:30 8m 54s markusdemedeiros:single_stutter_merge
markusdemedeiros:single_stutter_merge
February 14, 2024 19:30 8m 54s
Improve case study of merkle_tree example CI #144: Pull request #21 synchronize by hei411
February 14, 2024 12:21 8m 37s constant_hash
constant_hash
February 14, 2024 12:21 8m 37s
Merge branch 'main' of github.com:logsem/clutch CI #143: Commit 1f31ce0 pushed by alejandroag
February 14, 2024 12:11 8m 45s main
main
February 14, 2024 12:11 8m 45s
re-fix the build 🤔 CI #142: Commit 7580742 pushed by haselwarter
February 14, 2024 10:11 8m 34s main
main
February 14, 2024 10:11 8m 34s
Improve case study of merkle_tree example CI #141: Pull request #21 synchronize by hei411
February 13, 2024 08:20 15m 59s constant_hash
constant_hash
February 13, 2024 08:20 15m 59s