Skip to content

Actions: codex-semantics-library/patricia-tree

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
187 workflow runs
187 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Newer odoc Main workflow #155: Commit bc473b7 pushed by dlesbre
January 28, 2025 15:05 4m 0s main
main
January 28, 2025 15:05 4m 0s
Update opam package Main workflow #154: Commit 8c96496 pushed by dlesbre
January 27, 2025 09:11 6m 49s main
main
January 27, 2025 09:11 6m 49s
Update opam package Main workflow #153: Commit 8c96496 pushed by dlesbre
January 27, 2025 09:11 4m 29s v0.11.0
v0.11.0
January 27, 2025 09:11 4m 29s
Checklist Main workflow #152: Commit 333a895 pushed by dlesbre
January 27, 2025 09:01 7m 2s v0.11.0
v0.11.0
January 27, 2025 09:01 7m 2s
Checklist Main workflow #151: Commit 333a895 pushed by dlesbre
January 27, 2025 09:01 6m 42s main
main
January 27, 2025 09:01 6m 42s
Prepare new version Main workflow #150: Commit 3bc6e9a pushed by dlesbre
January 27, 2025 08:57 6m 56s main
main
January 27, 2025 08:57 6m 56s
Merge pull request #15 from codex-semantics-library/dlesbre/min-max-2 Main workflow #149: Commit 5dcce1c pushed by dlesbre
January 27, 2025 08:52 3m 34s main
main
January 27, 2025 08:52 3m 34s
Min/max binding of an intersection Main workflow #148: Pull request #15 synchronize by dlesbre
January 27, 2025 08:48 3m 34s dlesbre/min-max-2
dlesbre/min-max-2
January 27, 2025 08:48 3m 34s
Min/max binding of an intersection Main workflow #147: Pull request #15 synchronize by dlesbre
January 23, 2025 15:23 4m 31s dlesbre/min-max-2
dlesbre/min-max-2
January 23, 2025 15:23 4m 31s
Min/max binding of an intersection Main workflow #146: Pull request #15 synchronize by dlesbre
January 23, 2025 15:18 3m 44s dlesbre/min-max-2
dlesbre/min-max-2
January 23, 2025 15:18 3m 44s
Merge pull request #16 from codex-semantics-library/dlesbre/equal-com… Main workflow #145: Commit 3de188b pushed by mlemerre
January 23, 2025 15:03 4m 24s main
main
January 23, 2025 15:03 4m 24s
Add equal/compare functions Main workflow #144: Pull request #16 opened by dlesbre
January 23, 2025 14:46 3m 41s dlesbre/equal-compare
dlesbre/equal-compare
January 23, 2025 14:46 3m 41s
Bucketed trees Main workflow #143: Pull request #13 synchronize by dlesbre
January 23, 2025 13:49 5m 46s bucketed-trees
bucketed-trees
January 23, 2025 13:49 5m 46s
Min/max binding of an intersection Main workflow #142: Pull request #15 synchronize by dlesbre
January 23, 2025 13:49 3m 42s dlesbre/min-max-2
dlesbre/min-max-2
January 23, 2025 13:49 3m 42s
Ocaml action V3 Main workflow #141: Commit 5198893 pushed by dlesbre
January 23, 2025 13:35 7m 14s main
main
January 23, 2025 13:35 7m 14s
Min/max binding of an intersection Main workflow #140: Pull request #15 opened by dlesbre
January 23, 2025 13:06 7m 14s dlesbre/min-max-2
dlesbre/min-max-2
January 23, 2025 13:06 7m 14s
Bucketed trees Main workflow #139: Pull request #13 opened by dlesbre
October 14, 2024 16:42 8m 5s bucketed-trees
bucketed-trees
October 14, 2024 16:42 8m 5s
Typo Main workflow #138: Commit 665dcfc pushed by dlesbre
September 17, 2024 14:53 9m 6s main
main
September 17, 2024 14:53 9m 6s
Merge pull request #12 from codex-semantics-library/map-difference Main workflow #137: Commit 4b08d34 pushed by dlesbre
July 24, 2024 08:16 6m 31s main
main
July 24, 2024 08:16 6m 31s
Map difference Main workflow #136: Pull request #12 synchronize by dlesbre
July 23, 2024 07:59 5m 17s map-difference
map-difference
July 23, 2024 07:59 5m 17s
Map difference Main workflow #135: Pull request #12 synchronize by dlesbre
July 22, 2024 16:36 5m 37s map-difference
map-difference
July 22, 2024 16:36 5m 37s
Map difference Main workflow #134: Pull request #12 synchronize by dlesbre
July 22, 2024 15:51 4m 56s map-difference
map-difference
July 22, 2024 15:51 4m 56s
Map difference Main workflow #133: Pull request #12 synchronize by dlesbre
July 22, 2024 15:39 5m 21s map-difference
map-difference
July 22, 2024 15:39 5m 21s
Map difference Main workflow #132: Pull request #12 synchronize by dlesbre
July 22, 2024 11:50 4m 54s map-difference
map-difference
July 22, 2024 11:50 4m 54s
Map difference Main workflow #131: Pull request #12 synchronize by dlesbre
July 22, 2024 11:46 7m 20s map-difference
map-difference
July 22, 2024 11:46 7m 20s