Skip to content

Actions: OCamlPro/owi

Actions

build-debian-unstable-ocaml-latest

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build-debian-unstable-ocaml-latest.yml
142 workflow runs
142 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

add scopes build-debian-unstable-ocaml-latest #142: Pull request #679 synchronize by S41d
May 9, 2025 15:30 24m 17s S41d:scopes
S41d:scopes
May 9, 2025 15:30 24m 17s
add scopes build-debian-unstable-ocaml-latest #141: Pull request #679 synchronize by S41d
May 9, 2025 15:13 23m 41s S41d:scopes
S41d:scopes
May 9, 2025 15:13 23m 41s
add scopes build-debian-unstable-ocaml-latest #140: Pull request #679 synchronize by S41d
May 9, 2025 10:46 25m 7s S41d:scopes
S41d:scopes
May 9, 2025 10:46 25m 7s
add scopes build-debian-unstable-ocaml-latest #139: Pull request #679 synchronize by S41d
May 9, 2025 10:20 24m 6s S41d:scopes
S41d:scopes
May 9, 2025 10:20 24m 6s
prepare for smtml switch to bitvectors build-debian-unstable-ocaml-latest #138: Pull request #619 synchronize by filipeom
May 7, 2025 19:38 2m 50s zapashcanon:bitvector
zapashcanon:bitvector
May 7, 2025 19:38 2m 50s
prepare for smtml switch to bitvectors build-debian-unstable-ocaml-latest #137: Pull request #619 synchronize by zapashcanon
May 7, 2025 16:41 23m 52s zapashcanon:bitvector
zapashcanon:bitvector
May 7, 2025 16:41 23m 52s
improve printing build-debian-unstable-ocaml-latest #136: Commit 7e3a2df pushed by zapashcanon
May 7, 2025 11:37 23m 57s main
main
May 7, 2025 11:37 23m 57s
Make sure to kill leaky klee processes build-debian-unstable-ocaml-latest #135: Commit 6ac7657 pushed by zapashcanon
May 7, 2025 11:18 23m 24s main
main
May 7, 2025 11:18 23m 24s
Pp group assign rewrite build-debian-unstable-ocaml-latest #134: Pull request #681 opened by zapashcanon
May 7, 2025 11:09 23m 48s zapashcanon:pp_group_assign_rewrite
zapashcanon:pp_group_assign_rewrite
May 7, 2025 11:09 23m 48s
prepare for smtml switch to bitvectors build-debian-unstable-ocaml-latest #133: Pull request #619 synchronize by zapashcanon
May 6, 2025 14:50 23m 44s zapashcanon:bitvector
zapashcanon:bitvector
May 6, 2025 14:50 23m 44s
Add symbiotic runner build-debian-unstable-ocaml-latest #132: Pull request #426 synchronize by filipeom
May 6, 2025 10:57 24m 6s filipeom:symbiotic-runner
filipeom:symbiotic-runner
May 6, 2025 10:57 24m 6s
prepare for smtml switch to bitvectors build-debian-unstable-ocaml-latest #131: Pull request #619 synchronize by filipeom
May 6, 2025 10:56 24m 2s zapashcanon:bitvector
zapashcanon:bitvector
May 6, 2025 10:56 24m 2s
Use wait4 and measure memory usage of children in the runner build-debian-unstable-ocaml-latest #130: Pull request #510 synchronize by filipeom
May 6, 2025 10:39 2m 40s filipeom:bench-measure-maxrss
filipeom:bench-measure-maxrss
May 6, 2025 10:39 2m 40s
Use wait4 and measure memory usage of children in the runner build-debian-unstable-ocaml-latest #129: Pull request #510 synchronize by filipeom
May 6, 2025 10:27 23m 4s filipeom:bench-measure-maxrss
filipeom:bench-measure-maxrss
May 6, 2025 10:27 23m 4s
add scopes build-debian-unstable-ocaml-latest #128: Pull request #679 opened by S41d
May 5, 2025 15:32 23m 55s S41d:scopes
S41d:scopes
May 5, 2025 15:32 23m 55s
only use Smt.ml's smart constructors build-debian-unstable-ocaml-latest #127: Commit f1499fb pushed by zapashcanon
May 3, 2025 22:04 24m 18s main
main
May 3, 2025 22:04 24m 18s
only use Smt.ml's smart constructors build-debian-unstable-ocaml-latest #126: Pull request #678 opened by zapashcanon
May 3, 2025 21:04 23m 13s zapashcanon:usesmartconstructors
zapashcanon:usesmartconstructors
May 3, 2025 21:04 23m 13s
prepare for smtml switch to bitvectors build-debian-unstable-ocaml-latest #125: Pull request #619 synchronize by filipeom
May 2, 2025 13:29 23m 44s zapashcanon:bitvector
zapashcanon:bitvector
May 2, 2025 13:29 23m 44s
remove extract simplification that has been moved to smtml build-debian-unstable-ocaml-latest #124: Pull request #677 opened by zapashcanon
May 2, 2025 10:42 6h 0m 12s zapashcanon:removeextractsimplification
zapashcanon:removeextractsimplification
May 2, 2025 10:42 6h 0m 12s
remove concat simplification that has been moved to smtml build-debian-unstable-ocaml-latest #123: Pull request #676 opened by zapashcanon
May 2, 2025 10:33 6h 0m 14s zapashcanon:removesimplification
zapashcanon:removesimplification
May 2, 2025 10:33 6h 0m 14s
remove one simplification that is now in smtml build-debian-unstable-ocaml-latest #122: Commit 9128e42 pushed by zapashcanon
May 2, 2025 10:23 24m 10s main
main
May 2, 2025 10:23 24m 10s
remove simplifications that have been moved to smtml build-debian-unstable-ocaml-latest #121: Pull request #675 synchronize by zapashcanon
May 2, 2025 09:58 23m 32s zapashcanon:removesimplification
zapashcanon:removesimplification
May 2, 2025 09:58 23m 32s
prepare for smtml switch to bitvectors build-debian-unstable-ocaml-latest #120: Pull request #619 synchronize by filipeom
May 1, 2025 22:51 23m 39s zapashcanon:bitvector
zapashcanon:bitvector
May 1, 2025 22:51 23m 39s
prepare for smtml switch to bitvectors build-debian-unstable-ocaml-latest #119: Pull request #619 synchronize by filipeom
May 1, 2025 22:41 19m 53s zapashcanon:bitvector
zapashcanon:bitvector
May 1, 2025 22:41 19m 53s
prepare for smtml switch to bitvectors build-debian-unstable-ocaml-latest #118: Pull request #619 synchronize by filipeom
May 1, 2025 22:19 20m 17s zapashcanon:bitvector
zapashcanon:bitvector
May 1, 2025 22:19 20m 17s