Skip to content

Actions: Z3Prover/z3

Actions

OCaml Binding CI (Ubuntu + macOS)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ocaml.yaml
2,500+ workflow runs
2,500+ workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Add global backbones to parallel architecture (#9343) OCaml Binding CI (Ubuntu + macOS) #5863: Commit 19e95f4 pushed by NikolajBjorner
20m 44s master
master
20m 44s
add simplification rule to concatentations of regex to avoid stack ov… OCaml Binding CI (Ubuntu + macOS) #5862: Commit e172aa3 pushed by NikolajBjorner
16m 32s c3
c3
16m 32s
Let's try to justify bounds OCaml Binding CI (Ubuntu + macOS) #5861: Commit 4141229 pushed by CEisenhofer
21m 29s c3
c3
21m 29s
Add global backbones to parallel architecture OCaml Binding CI (Ubuntu + macOS) #5860: Pull request #9343 opened by ilanashapiro
19m 35s ilanashapiro:backbones
ilanashapiro:backbones
19m 35s
Bump actions/upload-artifact from 7.0.0 to 7.0.1 (#9300) OCaml Binding CI (Ubuntu + macOS) #5858: Commit 75039d6 pushed by NikolajBjorner
20m 48s master
master
20m 48s
Bump actions/upload-artifact from 7.0.0 to 7.0.1 OCaml Binding CI (Ubuntu + macOS) #5857: Pull request #9300 synchronize by dependabot bot
19m 27s dependabot/github_actions/actions/upload-artifact-7.0.1
dependabot/github_actions/actions/upload-artifact-7.0.1
19m 27s
Bump actions/upload-artifact from 7.0.0 to 7.0.1 OCaml Binding CI (Ubuntu + macOS) #5856: Commit 93f76b1 pushed by dependabot bot
19m 26s dependabot/github_actions/actions/upload-artifact-7.0.1
dependabot/github_actions/actions/upload-artifact-7.0.1
19m 26s
Bump actions/github-script from 8.0.0 to 9.0.0 (#9296) OCaml Binding CI (Ubuntu + macOS) #5855: Commit 36e1bd1 pushed by NikolajBjorner
19m 24s master
master
19m 24s
Terminate on Demand and some algorithmic bugfixes in the search tree … OCaml Binding CI (Ubuntu + macOS) #5854: Commit 44966e1 pushed by NikolajBjorner
20m 22s master
master
20m 22s
Bump actions/github-script from 8.0.0 to 9.0.0 OCaml Binding CI (Ubuntu + macOS) #5853: Pull request #9296 synchronize by dependabot bot
23m 39s dependabot/github_actions/actions/github-script-9.0.0
dependabot/github_actions/actions/github-script-9.0.0
23m 39s
Bump actions/github-script from 8.0.0 to 9.0.0 OCaml Binding CI (Ubuntu + macOS) #5852: Commit a232139 pushed by dependabot bot
24m 27s dependabot/github_actions/actions/github-script-9.0.0
dependabot/github_actions/actions/github-script-9.0.0
24m 27s
Bump actions/cache from 5.0.4 to 5.0.5 (#9299) OCaml Binding CI (Ubuntu + macOS) #5851: Commit 0669cdd pushed by NikolajBjorner
18m 39s master
master
18m 39s
Bump mymindstorm/setup-emsdk from 15 to 16 (#9297) OCaml Binding CI (Ubuntu + macOS) #5850: Commit 62ab8fc pushed by NikolajBjorner
24m 1s master
master
24m 1s
Fix two bugs in Python examples (#9303) OCaml Binding CI (Ubuntu + macOS) #5849: Commit d397a07 pushed by NikolajBjorner
23m 33s master
master
23m 33s
fix(anum): give anum move semantics to prevent sort-triggered double-… OCaml Binding CI (Ubuntu + macOS) #5848: Commit 38fbf48 pushed by NikolajBjorner
24m 14s master
master
24m 14s
Terminate on Demand and some algorithmic bugfixes in the search tree OCaml Binding CI (Ubuntu + macOS) #5847: Pull request #9336 synchronize by ilanashapiro
23m 58s ilanashapiro:smts_tree_algorithms_leases2
ilanashapiro:smts_tree_algorithms_leases2
23m 58s
Terminate on Demand and some algorithmic bugfixes in the search tree OCaml Binding CI (Ubuntu + macOS) #5846: Pull request #9336 synchronize by ilanashapiro
Action required ilanashapiro:smts_tree_algorithms_leases2
ilanashapiro:smts_tree_algorithms_leases2
Action required
Terminate on Demand and some algorithmic bugfixes in the search tree OCaml Binding CI (Ubuntu + macOS) #5845: Pull request #9336 synchronize by ilanashapiro
Action required ilanashapiro:smts_tree_algorithms_leases2
ilanashapiro:smts_tree_algorithms_leases2
Action required
fix crashes when using replace_all OCaml Binding CI (Ubuntu + macOS) #5843: Commit 0bcdca7 pushed by NikolajBjorner
24m 56s c3
c3
24m 56s
Give anum move semantics to prevent sort-triggered UAF OCaml Binding CI (Ubuntu + macOS) #5842: Pull request #9320 opened by 1arie1
24m 17s 1arie1:ag/anum-move
1arie1:ag/anum-move
24m 17s
remove spurious include OCaml Binding CI (Ubuntu + macOS) #5839: Commit 64e7f29 pushed by NikolajBjorner
20m 47s c3
c3
20m 47s
remove spurious ref OCaml Binding CI (Ubuntu + macOS) #5837: Commit c97aebe pushed by NikolajBjorner
20m 52s c3
c3
20m 52s
Bump actions/upload-artifact from 7.0.0 to 7.0.1 OCaml Binding CI (Ubuntu + macOS) #5836: Pull request #9300 synchronize by dependabot bot
30s dependabot/github_actions/actions/upload-artifact-7.0.1
dependabot/github_actions/actions/upload-artifact-7.0.1
30s
Bump actions/upload-artifact from 7.0.0 to 7.0.1 OCaml Binding CI (Ubuntu + macOS) #5835: Commit dad3de8 pushed by dependabot bot
34s dependabot/github_actions/actions/upload-artifact-7.0.1
dependabot/github_actions/actions/upload-artifact-7.0.1
34s
Bump actions/github-script from 8.0.0 to 9.0.0 OCaml Binding CI (Ubuntu + macOS) #5834: Pull request #9296 synchronize by dependabot bot
21s dependabot/github_actions/actions/github-script-9.0.0
dependabot/github_actions/actions/github-script-9.0.0
21s