Skip to content

Actions: matthewoestreich/z3-static-build

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
55 workflow runs
55 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

update build.sh Build Z3 Static #55: Commit a2a3f73 pushed by matthewoestreich
28m 49s v4.15.0
v4.15.0
28m 49s
update build.sh Build Z3 Static #54: Commit fa436fc pushed by matthewoestreich
1m 7s v4.15.0
v4.15.0
1m 7s
update build.yaml Build Z3 Static #53: Commit 0294a6d pushed by matthewoestreich
55s v4.15.0
v4.15.0
55s
update build.yaml Build Z3 Static #52: Commit 25d03a5 pushed by matthewoestreich
10s v4.15.0
v4.15.0
10s
Update build.yaml Build Z3 Static #51: Commit 06ecd32 pushed by matthewoestreich
11s v4.15.0
v4.15.0
11s
update build.sh Build Z3 Static #50: Commit 81e2a45 pushed by matthewoestreich
10s v4.15.0
v4.15.0
10s
Update build.sh Build Z3 Static #49: Commit 645670a pushed by matthewoestreich
31m 23s v4.15.1
v4.15.1
31m 23s
Update build.sh Build Z3 Static #48: Commit 874cc6d pushed by matthewoestreich
7m 41s v4.15.1
v4.15.1
7m 41s
Update build.sh Build Z3 Static #47: Commit 874cc6d pushed by matthewoestreich
29m 27s v4.15.2
v4.15.2
29m 27s
Update build.sh Build Z3 Static #46: Commit ffe34e0 pushed by matthewoestreich
29m 40s v4.15.2
v4.15.2
29m 40s
update build.sh Build Z3 Static #45: Commit 7ee8bef pushed by matthewoestreich
32m 16s v4.15.2
v4.15.2
32m 16s
Update build.sh Build Z3 Static #44: Commit ecf9b07 pushed by matthewoestreich
1m 16s v4.15.2
v4.15.2
1m 16s
update build.sh Build Z3 Static #43: Commit 0b4c839 pushed by matthewoestreich
1m 36s v4.15.2
v4.15.2
1m 36s
update build.sh Build Z3 Static #42: Commit cd11780 pushed by matthewoestreich
52s v4.15.2
v4.15.2
52s
update build.yaml Build Z3 Static #41: Commit 72c3a60 pushed by matthewoestreich
1m 1s v4.15.2
v4.15.2
1m 1s
update build.yaml Build Z3 Static #40: Commit 1dce22a pushed by matthewoestreich
31s v4.15.2
v4.15.2
31s
update build.yaml Build Z3 Static #39: Commit 9e99a38 pushed by matthewoestreich
30s v4.15.2
v4.15.2
30s
update build.sh Build Z3 Static #38: Commit 221ab15 pushed by matthewoestreich
37s v4.15.2
v4.15.2
37s
update build.sh Build Z3 Static #37: Commit 72b1710 pushed by matthewoestreich
18m 57s v4.15.2
v4.15.2
18m 57s
Build Z3 Static Build Z3 Static #36: by matthewoestreich
3m 27s v4.15.2
v4.15.2
3m 27s
update build.sh Build Z3 Static #35: Commit d848f7e pushed by matthewoestreich
19m 14s v4.15.2
v4.15.2
19m 14s
update build Build Z3 Static #34: Commit 832e0c9 pushed by matthewoestreich
1m 23s v4.15.2
v4.15.2
1m 23s
update Build Z3 Static #33: Commit e62868a pushed by matthewoestreich
46m 1s v4.15.2
v4.15.2
46m 1s
Build Z3 Static Build Z3 Static #32: by matthewoestreich
50s v4.15.2
v4.15.2
50s
Update build.yaml Build Z3 Static #31: Commit 72e35a3 pushed by matthewoestreich
1m 54s v4.15.2
v4.15.2
1m 54s