Skip to content

Actions: S1eGa/klee

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
133 workflow runs
133 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[fix] Model objects for ctype_* functions for 32-bit executables. Han… Differential ShellCheck #27: Commit d06bf85 pushed by S1eGa
July 1, 2024 16:08 23s main
main
July 1, 2024 16:08 23s
[fix] Model objects for ctype_* functions for 32-bit executables. Han… CI #153: Commit d06bf85 pushed by S1eGa
July 1, 2024 16:08 39s main
main
July 1, 2024 16:08 39s
test CI #152: Pull request #4 synchronize by pre-commit-ci-lite bot
February 29, 2024 14:23 1h 0m 47s test
test
February 29, 2024 14:23 1h 0m 47s
test Differential ShellCheck #26: Pull request #4 synchronize by pre-commit-ci-lite bot
February 29, 2024 14:23 26s test
test
February 29, 2024 14:23 26s
test Differential ShellCheck #25: Pull request #4 synchronize by S1eGa
February 29, 2024 14:20 57s test
test
February 29, 2024 14:20 57s
test CI #151: Pull request #4 synchronize by S1eGa
February 29, 2024 14:20 54s test
test
February 29, 2024 14:20 54s
test CI #150: Pull request #4 synchronize by S1eGa
February 29, 2024 14:16 5m 16s test
test
February 29, 2024 14:16 5m 16s
test Differential ShellCheck #24: Pull request #4 synchronize by S1eGa
February 29, 2024 14:16 1m 57s test
test
February 29, 2024 14:16 1m 57s
[chore] clang-format CI check replaced with pre-commit hook using cla… CI #149: Commit 1b26712 pushed by S1eGa
February 29, 2024 14:14 3m 56s main
main
February 29, 2024 14:14 3m 56s
[chore] clang-format CI check replaced with pre-commit hook using cla… Differential ShellCheck #23: Commit 1b26712 pushed by S1eGa
February 29, 2024 14:14 44s main
main
February 29, 2024 14:14 44s
test CI #148: Pull request #4 opened by S1eGa
February 29, 2024 14:12 1m 26s test
test
February 29, 2024 14:12 1m 26s
test Differential ShellCheck #22: Pull request #4 opened by S1eGa
February 29, 2024 14:12 30s test
test
February 29, 2024 14:12 30s
[feat] Adds support for reporting errors in SARIF format: Differential ShellCheck #21: Commit ebca2f3 pushed by S1eGa
February 29, 2024 14:10 43s main
main
February 29, 2024 14:10 43s
[feat] Adds support for reporting errors in SARIF format: CI #147: Commit ebca2f3 pushed by S1eGa
February 29, 2024 14:10 58s main
main
February 29, 2024 14:10 58s
CI CI #146: completed by S1eGa
February 27, 2024 11:04 51m 49s
February 27, 2024 11:04 51m 49s
Build in UTBot base_env Build in UTBot base_env #10: completed by S1eGa
February 27, 2024 11:04 36m 45s
February 27, 2024 11:04 36m 45s
[test] Clang Format #14: Pull request #3 synchronize by S1eGa
February 27, 2024 11:03 20s test-feature
test-feature
February 27, 2024 11:03 20s
[test] Differential ShellCheck #20: Pull request #3 synchronize by S1eGa
February 27, 2024 11:03 25s test-feature
test-feature
February 27, 2024 11:03 25s
CI CI #145: completed by S1eGa
February 27, 2024 11:02 2s
February 27, 2024 11:02 2s
Build in UTBot base_env Build in UTBot base_env #9: completed by S1eGa
February 27, 2024 11:02 1s
February 27, 2024 11:02 1s
[chore, git] make entire pipeline dependent on the result of the clan… Clang Format #13: Commit 6b24f90 pushed by S1eGa
February 27, 2024 11:02 6s main
main
February 27, 2024 11:02 6s
[chore, git] make entire pipeline dependent on the result of the clan… Differential ShellCheck #19: Commit 6b24f90 pushed by S1eGa
February 27, 2024 11:02 21s main
main
February 27, 2024 11:02 21s
Build in UTBot base_env Build in UTBot base_env #8: completed by S1eGa
February 27, 2024 11:00 2m 2s
February 27, 2024 11:00 2m 2s
CI CI #144: completed by S1eGa
February 27, 2024 11:00 2m 29s
February 27, 2024 11:00 2m 29s
[test] Differential ShellCheck #18: Pull request #3 synchronize by S1eGa
February 27, 2024 11:00 58s test-feature
test-feature
February 27, 2024 11:00 58s