Skip to content

Actions: VeriFIT/z3-noodler

Actions

Various platforms (build-&-test)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
62 workflow runs
62 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #209 from VeriFIT/transducers Various platforms (build-&-test) #62: Commit eb33649 pushed by vhavlena
February 20, 2025 11:51 20m 32s devel
devel
February 20, 2025 11:51 20m 32s
First step towards replace_all operations Various platforms (build-&-test) #61: Pull request #209 synchronize by vhavlena
February 20, 2025 07:56 18m 47s transducers
transducers
February 20, 2025 07:56 18m 47s
First step towards replace_all operations Various platforms (build-&-test) #60: Pull request #209 synchronize by vhavlena
February 19, 2025 18:55 18m 49s transducers
transducers
February 19, 2025 18:55 18m 49s
First step towards replace_all operations Various platforms (build-&-test) #59: Pull request #209 synchronize by vhavlena
February 19, 2025 18:24 19m 0s transducers
transducers
February 19, 2025 18:24 19m 0s
First step towards replace_all operations Various platforms (build-&-test) #58: Pull request #209 synchronize by vhavlena
February 18, 2025 20:27 18m 49s transducers
transducers
February 18, 2025 20:27 18m 49s
First step towards replace_all operations Various platforms (build-&-test) #57: Pull request #209 synchronize by vhavlena
February 18, 2025 20:25 18m 45s transducers
transducers
February 18, 2025 20:25 18m 45s
First step towards replace_all operations Various platforms (build-&-test) #56: Pull request #209 synchronize by vhavlena
February 18, 2025 19:49 19m 3s transducers
transducers
February 18, 2025 19:49 19m 3s
First step towards replace_all operations Various platforms (build-&-test) #55: Pull request #209 synchronize by vhavlena
February 18, 2025 19:49 19m 14s transducers
transducers
February 18, 2025 19:49 19m 14s
Merge pull request #210 from VeriFIT/fix_cycle_inclusions Various platforms (build-&-test) #54: Commit 5227eea pushed by jurajsic
February 18, 2025 08:05 18m 51s devel
devel
February 18, 2025 08:05 18m 51s
First step towards replace_all operations Various platforms (build-&-test) #53: Pull request #209 synchronize by vhavlena
February 17, 2025 06:26 17m 49s transducers
transducers
February 17, 2025 06:26 17m 49s
First step towards replace_all operations Various platforms (build-&-test) #52: Pull request #209 synchronize by vhavlena
February 16, 2025 20:43 18m 49s transducers
transducers
February 16, 2025 20:43 18m 49s
First step towards replace_all operations Various platforms (build-&-test) #51: Pull request #209 synchronize by vhavlena
February 14, 2025 20:15 18m 58s transducers
transducers
February 14, 2025 20:15 18m 58s
First step towards replace_all operations Various platforms (build-&-test) #50: Pull request #209 synchronize by vhavlena
February 13, 2025 15:20 19m 31s transducers
transducers
February 13, 2025 15:20 19m 31s
First step towards replace_all operations Various platforms (build-&-test) #49: Pull request #209 synchronize by vhavlena
February 13, 2025 13:11 19m 11s transducers
transducers
February 13, 2025 13:11 19m 11s
First step towards replace_all operations Various platforms (build-&-test) #48: Pull request #209 synchronize by vhavlena
February 13, 2025 11:19 18m 51s transducers
transducers
February 13, 2025 11:19 18m 51s
First step towards replace_all operations Various platforms (build-&-test) #47: Pull request #209 synchronize by vhavlena
February 11, 2025 16:12 19m 21s transducers
transducers
February 11, 2025 16:12 19m 21s
Fix propagating cycle information for inclusions Various platforms (build-&-test) #46: Pull request #210 opened by jurajsic
February 11, 2025 14:13 18m 47s fix_cycle_inclusions
fix_cycle_inclusions
February 11, 2025 14:13 18m 47s
First step towards replace_all operations Various platforms (build-&-test) #45: Pull request #209 opened by vhavlena
February 9, 2025 20:21 18m 30s transducers
transducers
February 9, 2025 20:21 18m 30s
Merge pull request #208 from VeriFIT/js-binding-action Various platforms (build-&-test) #44: Commit bc5dad4 pushed by vhavlena
January 6, 2025 18:17 18m 41s devel
devel
January 6, 2025 18:17 18m 41s
JS Binding: Github action Various platforms (build-&-test) #43: Pull request #208 synchronize by jurajsic
January 5, 2025 20:57 18m 31s js-binding-action
js-binding-action
January 5, 2025 20:57 18m 31s
JS Binding: Github action Various platforms (build-&-test) #42: Pull request #208 synchronize by vhavlena
January 5, 2025 20:51 19m 7s js-binding-action
js-binding-action
January 5, 2025 20:51 19m 7s
JS Binding: Github action Various platforms (build-&-test) #41: Pull request #208 synchronize by vhavlena
January 5, 2025 20:50 18m 43s js-binding-action
js-binding-action
January 5, 2025 20:50 18m 43s
JS Binding: Github action Various platforms (build-&-test) #40: Pull request #208 synchronize by vhavlena
January 5, 2025 19:00 18m 24s js-binding-action
js-binding-action
January 5, 2025 19:00 18m 24s
JS Binding: Github action Various platforms (build-&-test) #39: Pull request #208 synchronize by vhavlena
January 5, 2025 18:37 18m 30s js-binding-action
js-binding-action
January 5, 2025 18:37 18m 30s
JS Binding: Github action Various platforms (build-&-test) #38: Pull request #208 synchronize by vhavlena
January 5, 2025 18:33 18m 51s js-binding-action
js-binding-action
January 5, 2025 18:33 18m 51s