Skip to content

Actions: cksystemsgroup/unicorn

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
256 workflow runs
256 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore(deps): update dependencies (minor changes) Test #765: Commit 22a3402 pushed by renovate bot
December 4, 2023 18:56 23s renovate/dependencies-(minor-changes)
renovate/dependencies-(minor-changes)
December 4, 2023 18:56 23s
Test Test #764: Scheduled
December 3, 2023 00:09 14m 42s main
main
December 3, 2023 00:09 14m 42s
chore(deps): update dependencies (minor changes) Test #763: Commit af3d1a5 pushed by renovate bot
November 30, 2023 18:29 25s renovate/dependencies-(minor-changes)
renovate/dependencies-(minor-changes)
November 30, 2023 18:29 25s
chore(deps): update dependencies (minor changes) Test #762: Commit 4c077f9 pushed by renovate bot
November 28, 2023 05:01 29s renovate/dependencies-(minor-changes)
renovate/dependencies-(minor-changes)
November 28, 2023 05:01 29s
chore(deps): update dependencies (minor changes) Test #761: Commit 20581ad pushed by renovate bot
November 27, 2023 19:23 32s renovate/dependencies-(minor-changes)
renovate/dependencies-(minor-changes)
November 27, 2023 19:23 32s
Test Test #760: Scheduled
November 26, 2023 00:09 14m 17s main
main
November 26, 2023 00:09 14m 17s
fix btor2 models Test #759: Commit 311051e pushed by abolotina
November 24, 2023 14:36 30s feat/turn-off-dynamic-dispatch
feat/turn-off-dynamic-dispatch
November 24, 2023 14:36 30s
update btor2 files Test #758: Commit d55abc8 pushed by abolotina
November 23, 2023 20:27 28s feat/turn-off-dynamic-dispatch
feat/turn-off-dynamic-dispatch
November 23, 2023 20:27 28s
update script Test #757: Commit 86e58eb pushed by abolotina
November 23, 2023 19:35 29s feat/turn-off-dynamic-dispatch
feat/turn-off-dynamic-dispatch
November 23, 2023 19:35 29s
exclude usage of cstar-lib Test #756: Commit 3312a98 pushed by abolotina
November 23, 2023 19:31 28s feat/turn-off-dynamic-dispatch
feat/turn-off-dynamic-dispatch
November 23, 2023 19:31 28s
add btor2 files Test #755: Commit bfb5f4e pushed by abolotina
November 23, 2023 19:13 29s feat/turn-off-dynamic-dispatch
feat/turn-off-dynamic-dispatch
November 23, 2023 19:13 29s
turn off dynamic dispatch Test #754: Commit 672d2d7 pushed by abolotina
November 23, 2023 18:32 25s feat/turn-off-dynamic-dispatch
feat/turn-off-dynamic-dispatch
November 23, 2023 18:32 25s
chore(deps): update dependencies (minor changes) Test #753: Commit 66c622b pushed by renovate bot
November 23, 2023 15:10 28s renovate/dependencies-(minor-changes)
renovate/dependencies-(minor-changes)
November 23, 2023 15:10 28s
Test Test #752: Scheduled
November 19, 2023 00:09 13m 43s main
main
November 19, 2023 00:09 13m 43s
Test Test #751: Scheduled
November 12, 2023 00:09 14m 5s main
main
November 12, 2023 00:09 14m 5s
chore(deps): update dependencies (minor changes) Test #750: Commit c89e037 pushed by renovate bot
November 10, 2023 22:41 23s renovate/dependencies-(minor-changes)
renovate/dependencies-(minor-changes)
November 10, 2023 22:41 23s
chore(deps): update dependencies (minor changes) Test #749: Commit b2605b3 pushed by renovate bot
November 10, 2023 16:42 28s renovate/dependencies-(minor-changes)
renovate/dependencies-(minor-changes)
November 10, 2023 16:42 28s
Test Test #748: Scheduled
November 5, 2023 00:09 13m 26s main
main
November 5, 2023 00:09 13m 26s
add optimization to bounds search Test #747: Commit 39eb6b9 pushed by abolotina
November 1, 2023 17:43 33s feat/bounds-search
feat/bounds-search
November 1, 2023 17:43 33s
chore(deps): update dependencies (major changes) Test #746: Commit 8a31fdd pushed by renovate bot
October 31, 2023 21:50 1h 17m 48s renovate/major-dependencies-(major-changes)
renovate/major-dependencies-(major-changes)
October 31, 2023 21:50 1h 17m 48s
Test Test #745: Scheduled
October 29, 2023 00:08 1h 2m 0s main
main
October 29, 2023 00:08 1h 2m 0s
chore(deps): update dependencies (minor changes) Test #744: Commit 53d84fb pushed by renovate bot
October 26, 2023 22:54 29s renovate/dependencies-(minor-changes)
renovate/dependencies-(minor-changes)
October 26, 2023 22:54 29s
fix a bug in the bounds search algorithm Test #743: Commit 00be3b7 pushed by abolotina
October 24, 2023 20:06 50s feat/bounds-search
feat/bounds-search
October 24, 2023 20:06 50s
chore(deps): update dependencies (minor changes) Test #742: Commit f25a745 pushed by renovate bot
October 24, 2023 19:08 37s renovate/dependencies-(minor-changes)
renovate/dependencies-(minor-changes)
October 24, 2023 19:08 37s
add microbenchmarks Test #741: Commit 92367fc pushed by abolotina
October 23, 2023 13:55 2m 27s feat/bounds-search
feat/bounds-search
October 23, 2023 13:55 2m 27s