Skip to content

Actions: codex-semantics-library/patricia-tree

Actions

Main workflow

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ocaml.yml
38 workflow runs
38 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix dev-setup Main workflow #179: Commit 1a54039 pushed by dlesbre
4m 26s main
main
4m 26s
manually install deps Main workflow #178: Commit b90aa4c pushed by dlesbre
4m 2s main
main
4m 2s
with-dev-setup Main workflow #177: Commit 354ac5e pushed by dlesbre
3m 16s main
main
3m 16s
Install dev dependencies Main workflow #176: Commit 082b528 pushed by dlesbre
6m 9s main
main
6m 9s
Merge pull request #22 from Julow/benchmarks Main workflow #175: Commit 7665b2e pushed by dlesbre
4m 32s main
main
4m 32s
Benchmarks Main workflow #174: Pull request #22 synchronize by Julow
4m 16s Julow:benchmarks
Julow:benchmarks
4m 16s
Merge pull request #24 from codex-semantics-library/dlesbre/mutex Main workflow #173: Commit fd75788 pushed by mlemerre
3m 57s main
main
3m 57s
Mutex protected map Main workflow #172: Pull request #24 synchronize by dlesbre
5m 16s dlesbre/mutex
dlesbre/mutex
5m 16s
Mutex protected map Main workflow #171: Pull request #24 synchronize by dlesbre
4m 14s dlesbre/mutex
dlesbre/mutex
4m 14s
spacing Main workflow #170: Commit 6843eba pushed by dlesbre
8m 23s main
main
8m 23s
Mutex protected map Main workflow #169: Pull request #24 synchronize by dlesbre
5m 52s dlesbre/mutex
dlesbre/mutex
5m 52s
Mutex protected map Main workflow #168: Pull request #24 opened by dlesbre
5m 5s dlesbre/mutex
dlesbre/mutex
5m 5s
Model testing using Qcheck Main workflow #167: Pull request #21 synchronize by Julow
Action required Julow:model-testing
Julow:model-testing
Action required
qcheck upper bound Main workflow #166: Commit cb45d70 pushed by dlesbre
4m 4s main
main
4m 4s
Changelog Main workflow #165: Commit 8067cb7 pushed by dlesbre
8m 36s main
main
8m 36s
Merge pull request #19 from Julow/nonreflexive_same_domain-empty Main workflow #164: Commit 8063fe8 pushed by mlemerre
4m 46s main
main
4m 46s
Merge pull request #20 from Julow/bisect_ppx Main workflow #163: Commit e9828ab pushed by mlemerre
10m 24s main
main
10m 24s
Benchmarks Main workflow #162: Pull request #22 opened by Julow
4m 6s Julow:benchmarks
Julow:benchmarks
4m 6s
Model testing using Qcheck Main workflow #161: Pull request #21 opened by Julow
7m 44s Julow:model-testing
Julow:model-testing
7m 44s
nonreflexive_same_domain_for_all2: Return true for empty trees Main workflow #159: Pull request #19 opened by Julow
10m 20s Julow:nonreflexive_same_domain-empty
Julow:nonreflexive_same_domain-empty
10m 20s
Update headers Main workflow #157: Commit d1cac81 pushed by mlemerre
12m 31s main
main
12m 31s
typos Main workflow #156: Commit eeb00d5 pushed by dlesbre
19m 30s main
main
19m 30s
Newer odoc Main workflow #155: Commit bc473b7 pushed by dlesbre
4m 0s main
main
4m 0s
Update opam package Main workflow #154: Commit 8c96496 pushed by dlesbre
6m 49s main
main
6m 49s
Update opam package Main workflow #153: Commit 8c96496 pushed by dlesbre
4m 29s v0.11.0
v0.11.0
4m 29s