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

Hashconsed maps nodes Main workflow #50: Pull request #1 synchronize by dlesbre
April 26, 2024 08:30 4m 45s hashconsed-maps
hashconsed-maps
April 26, 2024 08:30 4m 45s
Hashconsed maps nodes Main workflow #49: Pull request #1 synchronize by dlesbre
April 26, 2024 08:19 5m 34s hashconsed-maps
hashconsed-maps
April 26, 2024 08:19 5m 34s
pages build and deployment pages-build-deployment #21: by dlesbre
April 26, 2024 07:11 39s
April 26, 2024 07:11 39s
pages build and deployment pages-build-deployment #20: by dlesbre
April 26, 2024 07:06 40s
April 26, 2024 07:06 40s
Hashconsed maps nodes Main workflow #48: Pull request #1 opened by dlesbre
April 25, 2024 17:13 4m 58s hashconsed-maps
hashconsed-maps
April 25, 2024 17:13 4m 58s
Avoid needless incrs Main workflow #47: Commit 8b77774 pushed by dlesbre
April 25, 2024 16:55 9m 20s main
main
April 25, 2024 16:55 9m 20s
pages build and deployment pages-build-deployment #19: by dlesbre
April 25, 2024 16:17 1m 1s
April 25, 2024 16:17 1m 1s
pages build and deployment pages-build-deployment #18: by github-pages bot
April 25, 2024 15:47 41s
April 25, 2024 15:47 41s
Fix comparison to dmap Main workflow #46: Commit 5c48d2b pushed by dlesbre
April 25, 2024 15:40 14m 21s main
main
April 25, 2024 15:40 14m 21s
pages build and deployment pages-build-deployment #17: by github-pages bot
April 25, 2024 15:33 37s
April 25, 2024 15:33 37s
Add authors Main workflow #45: Commit 64e1849 pushed by dlesbre
April 25, 2024 15:28 5m 29s main
main
April 25, 2024 15:28 5m 29s
pages build and deployment pages-build-deployment #16: by dlesbre
April 25, 2024 13:45 42s
April 25, 2024 13:45 42s
pages build and deployment pages-build-deployment #15: by github-pages bot
April 25, 2024 13:40 36s
April 25, 2024 13:40 36s
Sherlodoc for documentation Main workflow #44: Commit 370bda0 pushed by dlesbre
April 25, 2024 13:35 5m 49s main
main
April 25, 2024 13:35 5m 49s
pages build and deployment pages-build-deployment #14: by github-pages bot
April 22, 2024 14:01 40s
April 22, 2024 14:01 40s
Fix doc display Main workflow #43: Commit 475cecd pushed by dlesbre
April 22, 2024 13:56 4m 36s main
main
April 22, 2024 13:56 4m 36s
Fix dual dune requirement Main workflow #42: Commit 632214e pushed by dlesbre
April 20, 2024 07:46 4m 15s main
main
April 20, 2024 07:46 4m 15s
pages build and deployment pages-build-deployment #13: by github-pages bot
April 19, 2024 08:01 41s
April 19, 2024 08:01 41s
More typos Main workflow #41: Commit 04bd5db pushed by dlesbre
April 19, 2024 07:56 4m 20s main
main
April 19, 2024 07:56 4m 20s
Fix opam-repository lint errors Main workflow #40: Commit a15fd85 pushed by dlesbre
April 18, 2024 13:22 4m 25s v0.9.0
v0.9.0
April 18, 2024 13:22 4m 25s
Fix opam-repository lint errors Main workflow #39: Commit a15fd85 pushed by dlesbre
April 18, 2024 13:21 4m 26s main
main
April 18, 2024 13:21 4m 26s
Release checklist Main workflow #38: Commit 4c27151 pushed by dlesbre
April 18, 2024 13:06 2m 18s main
main
April 18, 2024 13:06 2m 18s
pages build and deployment pages-build-deployment #12: by dlesbre
April 18, 2024 11:45 39s
April 18, 2024 11:45 39s
pages build and deployment pages-build-deployment #11: by dlesbre
April 18, 2024 11:40 41s
April 18, 2024 11:40 41s
Remove duplicate header Main workflow #37: Commit 9e93605 pushed by dlesbre
April 18, 2024 11:40 4m 23s v0.9.0
v0.9.0
April 18, 2024 11:40 4m 23s