Skip to content

Actions: viperproject/axiom-profiler-2

Actions

Continuous integration

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
continuous_integration.yml
490 workflow runs
490 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Test with more z3 versions Continuous integration #90: Commit 0fe8315 pushed by JonasAlaif
December 19, 2023 14:06 35m 4s main
main
December 19, 2023 14:06 35m 4s
Skip wrong attach_enode in z3 4.8.7 Continuous integration #89: Commit 9137891 pushed by JonasAlaif
December 19, 2023 13:51 13m 38s main
main
December 19, 2023 13:51 13m 38s
Bodge to handle the two kinds of [inst-discovered] theory-solving Continuous integration #88: Commit 57edd13 pushed by JonasAlaif
December 19, 2023 09:09 42m 47s main
main
December 19, 2023 09:09 42m 47s
Upload logs on failure Continuous integration #87: Commit c8aa33f pushed by JonasAlaif
December 19, 2023 08:49 22m 0s main
main
December 19, 2023 08:49 22m 0s
Minor refactoring Continuous integration #86: Commit e2844b0 pushed by oskari1
December 19, 2023 07:39 4m 19s main
main
December 19, 2023 07:39 4m 19s
Disable non-zero generation enode check Continuous integration #85: Commit 9d456cf pushed by JonasAlaif
December 18, 2023 20:16 5m 34s main
main
December 18, 2023 20:16 5m 34s
Use simpler get_equalities due to performance issues Continuous integration #84: Commit 0d4c729 pushed by JonasAlaif
December 18, 2023 20:11 4m 1s main
main
December 18, 2023 20:11 4m 1s
Make timeout work even with more variation Continuous integration #83: Commit de56418 pushed by JonasAlaif
December 18, 2023 19:55 4m 7s main
main
December 18, 2023 19:55 4m 7s
Bodge to parse quantifier names with spaces Continuous integration #82: Commit 5ef2533 pushed by JonasAlaif
December 18, 2023 19:07 4m 35s main
main
December 18, 2023 19:07 4m 35s
Update continuous_integration.yml Continuous integration #81: Commit cf73f80 pushed by JonasAlaif
December 18, 2023 18:50 4m 32s main
main
December 18, 2023 18:50 4m 32s
Optimise code when testing Continuous integration #80: Commit 0ba13c0 pushed by JonasAlaif
December 18, 2023 18:48 1s main
main
December 18, 2023 18:48 1s
Increase timeout in tests Continuous integration #79: Commit 35b1ef1 pushed by JonasAlaif
December 18, 2023 18:33 3m 14s main
main
December 18, 2023 18:33 3m 14s
Use hash of files as cache key and set timeout on z3 query Continuous integration #78: Commit b212115 pushed by JonasAlaif
December 18, 2023 18:18 9m 34s main
main
December 18, 2023 18:18 9m 34s
Compress logs only on caching Continuous integration #77: Commit 9224d07 pushed by JonasAlaif
December 17, 2023 07:03 9m 8s main
main
December 17, 2023 07:03 9m 8s
Move CI around and run parser on log files Continuous integration #76: Commit a1af940 pushed by JonasAlaif
December 16, 2023 18:31 9m 1s main
main
December 16, 2023 18:31 9m 1s
Disable deleting cache for now Continuous integration #75: Commit 6c56869 pushed by JonasAlaif
December 16, 2023 17:49 1m 5s main
main
December 16, 2023 17:49 1m 5s
CI fixes Continuous integration #74: Commit 778e5d2 pushed by JonasAlaif
December 16, 2023 17:15 1m 2s main
main
December 16, 2023 17:15 1m 2s
Still not working :/ Continuous integration #73: Commit 28afabd pushed by JonasAlaif
December 16, 2023 16:40 1m 8s main
main
December 16, 2023 16:40 1m 8s
More testing Continuous integration #72: Commit 044e4a3 pushed by JonasAlaif
December 16, 2023 15:00 1m 49s main
main
December 16, 2023 15:00 1m 49s
Testing Continuous integration #71: Commit 59eca05 pushed by JonasAlaif
December 16, 2023 14:47 1m 2s main
main
December 16, 2023 14:47 1m 2s
Do not fail if z3 segfaults, we should investigate this Continuous integration #70: Commit 1b2d71c pushed by JonasAlaif
December 16, 2023 13:47 1m 4s main
main
December 16, 2023 13:47 1m 4s
Redirect z3 stdout to /dev/null Continuous integration #69: Commit 1aee50c pushed by JonasAlaif
December 16, 2023 13:35 1m 5s main
main
December 16, 2023 13:35 1m 5s
Try saving z3 log files in cache Continuous integration #68: Commit 6c87c22 pushed by JonasAlaif
December 16, 2023 13:22 1m 9s main
main
December 16, 2023 13:22 1m 9s
Fixed bug of showing too short matching loops Continuous integration #67: Commit 80b4346 pushed by oskari1
December 16, 2023 10:27 1m 8s main
main
December 16, 2023 10:27 1m 8s
Fixed double-edge issue with dedup() in egraph.rs Continuous integration #66: Commit 5687878 pushed by oskari1
December 16, 2023 09:37 1m 7s main
main
December 16, 2023 09:37 1m 7s
ProTip! You can narrow down the results and go further in time using created:<2023-12-16 or the other filters available.