Skip to content

Actions: VeriFIT/z3-noodler

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,388 workflow runs
1,388 workflow runs

Filter by Workflow

⌥ + click/return to exclude

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
Obtaining models from inclusion graph cycles JS Binding (build-&-test) #229: Pull request #352 synchronize by m-vallus
20m 25s m-vallus:GraphCycleModels
m-vallus:GraphCycleModels
20m 25s
Obtaining models from inclusion graph cycles Z3-Noodler Build & Test #224: Pull request #352 synchronize by m-vallus
28m 0s m-vallus:GraphCycleModels
m-vallus:GraphCycleModels
28m 0s
Obtaining models from inclusion graph cycles Z3-Noodler Build & Test #223: Pull request #352 synchronize by m-vallus
Action required m-vallus:GraphCycleModels
m-vallus:GraphCycleModels
Action required
Obtaining models from inclusion graph cycles JS Binding (build-&-test) #228: Pull request #352 synchronize by m-vallus
Action required m-vallus:GraphCycleModels
m-vallus:GraphCycleModels
Action required
[WIP] Automata caching Z3-Noodler Build & Test #222: Pull request #374 opened by jurajsic
24m 19s cache_auts
cache_auts
24m 19s
[WIP] Automata caching JS Binding (build-&-test) #227: Pull request #374 opened by jurajsic
23m 43s cache_auts
cache_auts
23m 43s
Merge pull request #373 from VeriFIT/warnings-arg Auto Patch Release #30: Commit af469f1 pushed by jurajsic
19s devel
devel
19s
Merge pull request #373 from VeriFIT/warnings-arg JS Binding (build-&-test) #226: Commit af469f1 pushed by jurajsic
19m 11s devel
devel
19m 11s
Merge pull request #373 from VeriFIT/warnings-arg Z3-Noodler Build & Test #221: Commit af469f1 pushed by jurajsic
32m 31s devel
devel
32m 31s
Merge pull request #371 from VeriFIT/ca-constr-viol Z3-Noodler Build & Test #220: Commit af8c47f pushed by jurajsic
22m 3s devel
devel
22m 3s
Merge pull request #371 from VeriFIT/ca-constr-viol Auto Patch Release #29: Commit af8c47f pushed by jurajsic
19s devel
devel
19s
Merge pull request #371 from VeriFIT/ca-constr-viol JS Binding (build-&-test) #225: Commit af8c47f pushed by jurajsic
18m 37s devel
devel
18m 37s
Merge pull request #372 from VeriFIT/fix-370 Z3-Noodler Build & Test #219: Commit be3d38c pushed by jurajsic
32m 26s devel
devel
32m 26s
Merge pull request #372 from VeriFIT/fix-370 JS Binding (build-&-test) #224: Commit be3d38c pushed by jurajsic
23m 5s devel
devel
23m 5s
Merge pull request #372 from VeriFIT/fix-370 Auto Patch Release #28: Commit be3d38c pushed by jurajsic
23s devel
devel
23s
Add param to enable throwing errors Z3-Noodler Build & Test #218: Pull request #373 synchronize by jurajsic
36m 54s warnings-arg
warnings-arg
36m 54s
Add param to enable throwing errors JS Binding (build-&-test) #223: Pull request #373 synchronize by jurajsic
20m 27s warnings-arg
warnings-arg
20m 27s
Add param to enable throwing errors Z3-Noodler Build & Test #217: Pull request #373 opened by jurajsic
36m 16s warnings-arg
warnings-arg
36m 16s
Add param to enable throwing errors JS Binding (build-&-test) #222: Pull request #373 opened by jurajsic
23m 9s warnings-arg
warnings-arg
23m 9s
Fix: Conversions in incremental solving Z3-Noodler Build & Test #216: Pull request #372 synchronize by vhavlena
42m 4s fix-370
fix-370
42m 4s
Fix: Conversions in incremental solving JS Binding (build-&-test) #221: Pull request #372 synchronize by vhavlena
23m 11s fix-370
fix-370
23m 11s
Fix: Conversions in incremental solving JS Binding (build-&-test) #220: Pull request #372 synchronize by vhavlena
23m 2s fix-370
fix-370
23m 2s
Fix: Conversions in incremental solving Z3-Noodler Build & Test #215: Pull request #372 synchronize by vhavlena
22m 27s fix-370
fix-370
22m 27s
Fix: Conversions in incremental solving JS Binding (build-&-test) #219: Pull request #372 opened by vhavlena
23m 2s fix-370
fix-370
23m 2s
Fix: Conversions in incremental solving Z3-Noodler Build & Test #214: Pull request #372 opened by vhavlena
25m 6s fix-370
fix-370
25m 6s