Skip to content

Actions: VeriFIT/z3-noodler

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
84 workflow runs
84 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #206 from VeriFIT/working-js Various platforms (build-&-test) #23: Commit b6435e5 pushed by jurajsic
January 2, 2025 19:46 18m 32s devel
devel
January 2, 2025 19:46 18m 32s
Fixing js binding Various platforms (build-&-test) #22: Pull request #206 synchronize by jurajsic
January 2, 2025 19:45 18m 22s working-js
working-js
January 2, 2025 19:45 18m 22s
Fixing js binding Various platforms (build-&-test) #21: Pull request #206 synchronize by jurajsic
January 1, 2025 22:54 19m 35s working-js
working-js
January 1, 2025 22:54 19m 35s
Fixing js binding Various platforms (build-&-test) #20: Pull request #206 synchronize by jurajsic
January 1, 2025 22:51 18m 40s working-js
working-js
January 1, 2025 22:51 18m 40s
Fixing js binding Various platforms (build-&-test) #19: Pull request #206 synchronize by jurajsic
January 1, 2025 22:27 18m 51s working-js
working-js
January 1, 2025 22:27 18m 51s
Fixing js binding Various platforms (build-&-test) #18: Pull request #206 opened by jurajsic
January 1, 2025 22:12 18m 17s working-js
working-js
January 1, 2025 22:12 18m 17s
Merge pull request #205 from VeriFIT/new_z3_4.13.4 Various platforms (build-&-test) #17: Commit cae2540 pushed by jurajsic
January 1, 2025 16:43 18m 24s devel
devel
January 1, 2025 16:43 18m 24s
reduce hash table lookups in expr_abstract in half Pyodide Build #1: Commit 6f24123 pushed by jurajsic
January 1, 2025 16:42 20m 13s master
master
January 1, 2025 16:42 20m 13s
reduce hash table lookups in expr_abstract in half Android Build #2: Commit 6f24123 pushed by jurajsic
January 1, 2025 16:42 17m 1s master
master
January 1, 2025 16:42 17m 1s
reduce hash table lookups in expr_abstract in half Windows #2: Commit 6f24123 pushed by jurajsic
January 1, 2025 16:42 1h 0m 14s master
master
January 1, 2025 16:42 1h 0m 14s
reduce hash table lookups in expr_abstract in half Open Issues #2: Commit 6f24123 pushed by jurajsic
January 1, 2025 16:42 33m 16s master
master
January 1, 2025 16:42 33m 16s
Update Z3 to 4.13.4 Various platforms (build-&-test) #16: Pull request #205 synchronize by jurajsic
January 1, 2025 16:42 19m 29s new_z3_4.13.4
new_z3_4.13.4
January 1, 2025 16:42 19m 29s
Update Z3 to 4.13.4 Various platforms (build-&-test) #15: Pull request #205 synchronize by jurajsic
January 1, 2025 16:07 18m 52s new_z3_4.13.4
new_z3_4.13.4
January 1, 2025 16:07 18m 52s
Update Z3 to 4.13.4 Various platforms (build-&-test) #14: Pull request #205 synchronize by jurajsic
January 1, 2025 14:52 18m 33s new_z3_4.13.4
new_z3_4.13.4
January 1, 2025 14:52 18m 33s
Update Z3 to 4.13.4 MSVC Clang-CL Static Build #4: Pull request #205 synchronize by jurajsic
January 1, 2025 14:52 12m 49s new_z3_4.13.4
new_z3_4.13.4
January 1, 2025 14:52 12m 49s
turn off new rewriter rule which makes noodler not work correctly MSVC Clang-CL Static Build #3: Commit 983a432 pushed by jurajsic
January 1, 2025 14:52 12m 15s new_z3_4.13.4
new_z3_4.13.4
January 1, 2025 14:52 12m 15s
Update Z3 to 4.13.4 MSVC Clang-CL Static Build #2: Pull request #205 opened by jurajsic
December 31, 2024 13:33 12m 57s new_z3_4.13.4
new_z3_4.13.4
December 31, 2024 13:33 12m 57s
Update Z3 to 4.13.4 Various platforms (build-&-test) #13: Pull request #205 opened by jurajsic
December 31, 2024 13:33 18m 51s new_z3_4.13.4
new_z3_4.13.4
December 31, 2024 13:33 18m 51s
Merge branch 'master' into new_z3_4.13.4 MSVC Clang-CL Static Build #1: Commit d935db5 pushed by jurajsic
December 31, 2024 13:32 12m 21s new_z3_4.13.4
new_z3_4.13.4
December 31, 2024 13:32 12m 21s
Merge pull request #203 from VeriFIT/fix-tests Various platforms (build-&-test) #12: Commit 771f0a5 pushed by vhavlena
December 23, 2024 17:58 17m 5s devel
devel
December 23, 2024 17:58 17m 5s
Tests fixing and actions support Various platforms (build-&-test) #11: Pull request #203 synchronize by vhavlena
December 22, 2024 16:32 17m 8s fix-tests
fix-tests
December 22, 2024 16:32 17m 8s
Tests fixing and actions support Various platforms (build-&-test) #10: Pull request #203 synchronize by vhavlena
December 22, 2024 16:14 17m 32s fix-tests
fix-tests
December 22, 2024 16:14 17m 32s
Tests fixing and actions support Various platforms (build-&-test) #9: Pull request #203 synchronize by vhavlena
December 22, 2024 16:04 17m 17s fix-tests
fix-tests
December 22, 2024 16:04 17m 17s
Tests fixing and actions support Various platforms (build-&-test) #8: Pull request #203 synchronize by vhavlena
December 22, 2024 15:54 16m 51s fix-tests
fix-tests
December 22, 2024 15:54 16m 51s
Tests fixing and actions support Various platforms (build-&-test) #7: Pull request #203 synchronize by vhavlena
December 22, 2024 15:28 22m 31s fix-tests
fix-tests
December 22, 2024 15:28 22m 31s