Skip to content

Actions: codex-semantics-library/patricia-tree

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
171 workflow runs
171 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update index.mld Main workflow #20: Commit 6e60ff7 pushed by dlesbre
April 17, 2024 12:20 5m 6s main
main
April 17, 2024 12:20 5m 6s
pages build and deployment pages-build-deployment #1: by dlesbre
April 17, 2024 12:20 45s
April 17, 2024 12:20 45s
Update README.md Main workflow #19: Commit 6895876 pushed by mlemerre
April 17, 2024 11:46 21s main
main
April 17, 2024 11:46 21s
Tentative fix Main workflow #18: Commit fe4cee0 pushed by dlesbre
April 17, 2024 09:53 5m 34s main
main
April 17, 2024 09:53 5m 34s
Stuff I forgot Main workflow #17: Commit adf9109 pushed by dlesbre
April 17, 2024 09:40 4m 50s main
main
April 17, 2024 09:40 4m 50s
Insist on the positive integer key requirement Main workflow #16: Commit ab57e7e pushed by dlesbre
April 17, 2024 08:45 3m 29s main
main
April 17, 2024 08:45 3m 29s
Update README and mld Main workflow #15: Commit a8186bb pushed by dlesbre
April 17, 2024 08:26 3m 39s main
main
April 17, 2024 08:26 3m 39s
Spelling in README.md Main workflow #14: Commit fd23adb pushed by mlemerre
April 16, 2024 20:56 3m 28s main
main
April 16, 2024 20:56 3m 28s
Update README.md Main workflow #13: Commit 3d3ffe3 pushed by mlemerre
April 16, 2024 20:56 3m 33s main
main
April 16, 2024 20:56 3m 33s
More doc Main workflow #12: Commit 89f4f17 pushed by dlesbre
April 16, 2024 14:14 3m 53s main
main
April 16, 2024 14:14 3m 53s
Add mld index (clone of README.md) Main workflow #11: Commit e4fb423 pushed by dlesbre
April 16, 2024 13:19 6m 3s main
main
April 16, 2024 13:19 6m 3s
Coding conventions Main workflow #10: Commit da6251f pushed by dlesbre
April 16, 2024 12:29 3m 57s main
main
April 16, 2024 12:29 3m 57s
Mention dmap Main workflow #9: Commit ef7aa1a pushed by dlesbre
April 16, 2024 12:18 4m 29s main
main
April 16, 2024 12:18 4m 29s
Small fixes Main workflow #8: Commit b379b27 pushed by dlesbre
April 16, 2024 09:46 3m 41s main
main
April 16, 2024 09:46 3m 41s
Update TOC Main workflow #7: Commit 229e1ab pushed by dlesbre
April 16, 2024 09:35 3m 53s main
main
April 16, 2024 09:35 3m 53s
More documentation and examples Main workflow #6: Commit 27efd65 pushed by dlesbre
April 16, 2024 09:32 3m 38s main
main
April 16, 2024 09:32 3m 38s
Update readme Main workflow #5: Commit 453729e pushed by dlesbre
April 12, 2024 12:54 4m 13s main
main
April 12, 2024 12:54 4m 13s
Fix ocaml >= 4.14 Main workflow #4: Commit 5342184 pushed by dlesbre
April 12, 2024 12:21 3m 36s main
main
April 12, 2024 12:21 3m 36s
OCaml 5 on CI Main workflow #3: Commit 249e137 pushed by dlesbre
April 12, 2024 12:05 6m 58s main
main
April 12, 2024 12:05 6m 58s
Add missing dep + test on CI Main workflow #2: Commit 72338ee pushed by dlesbre
April 12, 2024 11:57 3m 38s main
main
April 12, 2024 11:57 3m 38s
Build with github actions Main workflow #1: Commit bdf9cbc pushed by dlesbre
April 12, 2024 11:48 6m 10s main
main
April 12, 2024 11:48 6m 10s