Skip to content

Actions: UnitTestBot/klee

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
71 workflow run results
71 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

October 4, 2023 11:59 1h 16m 17s
Small fixes
CI #864: Pull request #128 opened by Columpio
October 4, 2023 10:59 1h 13m 14s columpio/tc
October 4, 2023 10:59 1h 13m 14s
Mem optimize
CI #863: Pull request #118 synchronize by misonijnik
October 4, 2023 09:43 56m 39s ladisgin/mem_optimize
October 4, 2023 09:43 56m 39s
[fix] Tests for states with mocks
CI #862: Commit f5f7574 pushed by misonijnik
October 3, 2023 14:52 59m 11s main
October 3, 2023 14:52 59m 11s
Small fixes
CI #861: Pull request #127 synchronize by Columpio
October 3, 2023 12:11 55m 6s columpio/tc
October 3, 2023 12:11 55m 6s
Small fixes
CI #860: Pull request #127 synchronize by Columpio
October 3, 2023 10:55 37m 13s columpio/tc
October 3, 2023 10:55 37m 13s
Small fixes
CI #859: Pull request #127 synchronize by Columpio
October 3, 2023 08:53 1h 2m 37s columpio/tc
October 3, 2023 08:53 1h 2m 37s
Small fixes
CI #858: Pull request #127 opened by Columpio
October 3, 2023 08:17 56m 56s columpio/tc
October 3, 2023 08:17 56m 56s
Mem optimize
CI #857: Pull request #118 synchronize by ladisgin
October 2, 2023 14:27 1h 9m 7s ladisgin/mem_optimize
October 2, 2023 14:27 1h 9m 7s
Mem optimize
CI #856: Pull request #118 synchronize by ladisgin
October 2, 2023 11:28 1h 47m 13s ladisgin/mem_optimize
October 2, 2023 11:28 1h 47m 13s
Add mem leak test
CI #855: Pull request #126 opened by ladisgin
October 2, 2023 11:26 1h 10m 21s ladisgin/mem_leak
October 2, 2023 11:26 1h 10m 21s
Mem optimize
CI #854: Pull request #118 synchronize by ladisgin
October 2, 2023 09:07 52m 25s ladisgin/mem_optimize
October 2, 2023 09:07 52m 25s
Mem optimize
CI #853: Pull request #118 synchronize by ladisgin
October 2, 2023 08:36 1h 21m 11s ladisgin/mem_optimize
October 2, 2023 08:36 1h 21m 11s
Mem optimize
CI #852: Pull request #118 synchronize by ladisgin
October 2, 2023 08:23 10m 52s ladisgin/mem_optimize
October 2, 2023 08:23 10m 52s
[fix] Fix CachingSolver
CI #851: Commit 390866f pushed by misonijnik
September 30, 2023 20:58 1h 4m 35s main
September 30, 2023 20:58 1h 4m 35s
Improve IndependentConstraintSetUnion
CI #850: Pull request #124 synchronize by misonijnik
September 30, 2023 18:57 53m 1s misonijnik/improve-dsu
September 30, 2023 18:57 53m 1s
Mem optimize
CI #849: Pull request #118 synchronize by ladisgin
September 29, 2023 15:07 48m 22s ladisgin/mem_optimize
September 29, 2023 15:07 48m 22s
Mem optimize
CI #848: Pull request #118 synchronize by ladisgin
September 29, 2023 15:06 1m 27s ladisgin/mem_optimize
September 29, 2023 15:06 1m 27s
Mem optimize
CI #847: Pull request #118 synchronize by ladisgin
September 29, 2023 14:41 26m 31s ladisgin/mem_optimize
September 29, 2023 14:41 26m 31s
Mem optimize
CI #846: Pull request #118 synchronize by ladisgin
September 29, 2023 14:06 38m 49s ladisgin/mem_optimize
September 29, 2023 14:06 38m 49s
Improve IndependentConstraintSetUnion
CI #845: Pull request #124 synchronize by misonijnik
September 29, 2023 09:48 1h 11m 5s misonijnik/improve-dsu
September 29, 2023 09:48 1h 11m 5s
Mem optimize
CI #844: Pull request #118 synchronize by ladisgin
September 28, 2023 14:57 1h 0m 58s ladisgin/mem_optimize
September 28, 2023 14:57 1h 0m 58s
Mem optimize
CI #843: Pull request #118 synchronize by ladisgin
September 27, 2023 08:41 1h 13m 24s ladisgin/mem_optimize
September 27, 2023 08:41 1h 13m 24s
Mem optimize
CI #842: Pull request #118 synchronize by ladisgin
September 26, 2023 17:27 54m 52s ladisgin/mem_optimize
September 26, 2023 17:27 54m 52s
[fix] Incremental DT with no frames
CI #841: Commit aa7528b pushed by misonijnik
September 26, 2023 13:53 57m 12s main
September 26, 2023 13:53 57m 12s