Skip to content

Actions: neferin12/iSM

Actions

Qodana

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
code_quality.yml
81 workflow runs
81 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

build(rust): features for model checking and statically linked z3 Qodana #56: Commit 89ca8a7 pushed by neferin12
March 26, 2024 23:00 1m 2s main
main
March 26, 2024 23:00 1m 2s
build(rust): fix .srcinfo Qodana #55: Commit c6fa540 pushed by neferin12
February 27, 2024 17:23 1m 12s main
main
February 27, 2024 17:23 1m 12s
build(rust): Add 'clang' to makedepends in PKGBUILD Qodana #54: Commit 4ea7970 pushed by neferin12
February 27, 2024 17:04 58s main
main
February 27, 2024 17:04 58s
build(rust): PKGBUILD Qodana #53: Commit 0a121dc pushed by neferin12
February 27, 2024 17:01 1m 8s main
main
February 27, 2024 17:01 1m 8s
chore(rust): update version Qodana #52: Commit 4ba529d pushed by neferin12
February 27, 2024 13:42 1m 13s main
main
February 27, 2024 13:42 1m 13s
fix(rust): enable parallel model checking Qodana #51: Commit 9f45bb9 pushed by neferin12
February 26, 2024 19:55 1m 10s main
main
February 26, 2024 19:55 1m 10s
ci: fix rust ci Qodana #50: Commit 88fd7d9 pushed by neferin12
February 26, 2024 19:40 1m 0s main
main
February 26, 2024 19:40 1m 0s
Create rust.yml Qodana #49: Commit a4a750c pushed by neferin12
February 26, 2024 19:39 1m 8s main
main
February 26, 2024 19:39 1m 8s
feat: Model Checking with rust Qodana #48: Commit 9715e06 pushed by neferin12
February 26, 2024 19:36 1m 7s main
main
February 26, 2024 19:36 1m 7s
Model checking Qodana #47: Pull request #2 opened by neferin12
February 26, 2024 19:34 1m 3s model-checking
model-checking
February 26, 2024 19:34 1m 3s
feat(rust): nicer output and refactoring Qodana #46: Commit eb9ce31 pushed by neferin12
February 23, 2024 21:04 1m 4s main
main
February 23, 2024 21:04 1m 4s
feat: Rust Qodana #45: Commit 156244e pushed by neferin12
February 23, 2024 18:27 1m 3s main
main
February 23, 2024 18:27 1m 3s
Rust Qodana #44: Pull request #1 opened by neferin12
February 23, 2024 18:27 59s rust
rust
February 23, 2024 18:27 59s
benchmarks Qodana #43: Commit fbb2302 pushed by neferin12
January 24, 2024 06:10 1m 4s main
main
January 24, 2024 06:10 1m 4s
test(python): python benchmark Qodana #42: Commit 7d2bb4d pushed by neferin12
January 24, 2024 00:01 1m 3s main
main
January 24, 2024 00:01 1m 3s
fix(python): improve performance Qodana #41: Commit aaa18cf pushed by neferin12
January 23, 2024 21:10 1m 13s main
main
January 23, 2024 21:10 1m 13s
use venv in benchmark Qodana #40: Commit ca31cb2 pushed by neferin12
January 23, 2024 11:03 1m 3s main
main
January 23, 2024 11:03 1m 3s
python benchmark Qodana #39: Commit 6e25fd3 pushed by neferin12
January 23, 2024 10:56 1m 9s main
main
January 23, 2024 10:56 1m 9s
python version Qodana #38: Commit 9f09b97 pushed by neferin12
January 23, 2024 10:49 1m 1s main
main
January 23, 2024 10:49 1m 1s
benchmarks Qodana #37: Commit 788e417 pushed by neferin12
January 22, 2024 22:33 1m 2s main
main
January 22, 2024 22:33 1m 2s
tests(c): add tests Qodana #36: Commit d5b31a6 pushed by neferin12
January 22, 2024 21:38 1m 2s main
main
January 22, 2024 21:38 1m 2s
aur package ci Qodana #35: Commit 9df4f0e pushed by neferin12
January 22, 2024 21:13 1m 3s main
main
January 22, 2024 21:13 1m 3s
fix(c): rename batchRunAlgorithm function to fix typo Qodana #34: Commit 42a9d8c pushed by neferin12
January 22, 2024 15:32 1m 2s main
main
January 22, 2024 15:32 1m 2s
fix memory explosion in typescript variant Qodana #33: Commit 42a31cf pushed by neferin12
January 22, 2024 15:23 1m 24s main
main
January 22, 2024 15:23 1m 24s
bechmarking Qodana #32: Commit 9bbdd39 pushed by neferin12
December 18, 2023 20:00 1m 10s main
main
December 18, 2023 20:00 1m 10s