Skip to content

Actions: neferin12/iSM

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
370 workflow runs
370 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Model checking
Java CI with Gradle #73: Pull request #2 opened by neferin12
February 26, 2024 19:34 25s model-checking
February 26, 2024 19:34 25s
feat(rust): nicer output and refactoring
Java CI with Gradle #72: Commit eb9ce31 pushed by neferin12
February 23, 2024 21:04 28s main
February 23, 2024 21:04 28s
feat(rust): nicer output and refactoring
PKGBUILD CI #37: Commit eb9ce31 pushed by neferin12
February 23, 2024 21:04 1m 17s main
February 23, 2024 21:04 1m 17s
feat(rust): nicer output and refactoring
Qodana #46: Commit eb9ce31 pushed by neferin12
February 23, 2024 21:04 1m 4s main
February 23, 2024 21:04 1m 4s
feat(rust): nicer output and refactoring
CMake #75: Commit eb9ce31 pushed by neferin12
February 23, 2024 21:04 53s main
February 23, 2024 21:04 53s
feat: Rust
PKGBUILD CI #36: Commit 156244e pushed by neferin12
February 23, 2024 18:27 1m 23s main
February 23, 2024 18:27 1m 23s
feat: Rust
Java CI with Gradle #71: Commit 156244e pushed by neferin12
February 23, 2024 18:27 34s main
February 23, 2024 18:27 34s
feat: Rust
CMake #74: Commit 156244e pushed by neferin12
February 23, 2024 18:27 48s main
February 23, 2024 18:27 48s
feat: Rust
Qodana #45: Commit 156244e pushed by neferin12
February 23, 2024 18:27 1m 3s main
February 23, 2024 18:27 1m 3s
Rust
Qodana #44: Pull request #1 opened by neferin12
February 23, 2024 18:27 59s rust
February 23, 2024 18:27 59s
Rust
CMake #73: Pull request #1 opened by neferin12
February 23, 2024 18:27 37s rust
February 23, 2024 18:27 37s
Rust
Java CI with Gradle #70: Pull request #1 opened by neferin12
February 23, 2024 18:27 30s rust
February 23, 2024 18:27 30s
benchmarks
PKGBUILD CI #35: Commit fbb2302 pushed by neferin12
January 24, 2024 06:10 1m 10s main
January 24, 2024 06:10 1m 10s
benchmarks
CMake #72: Commit fbb2302 pushed by neferin12
January 24, 2024 06:10 1m 13s main
January 24, 2024 06:10 1m 13s
benchmarks
Qodana #43: Commit fbb2302 pushed by neferin12
January 24, 2024 06:10 1m 4s main
January 24, 2024 06:10 1m 4s
benchmarks
Java CI with Gradle #69: Commit fbb2302 pushed by neferin12
January 24, 2024 06:10 32s main
January 24, 2024 06:10 32s
test(python): python benchmark
CMake #71: Commit 7d2bb4d pushed by neferin12
January 24, 2024 00:01 1m 14s main
January 24, 2024 00:01 1m 14s
test(python): python benchmark
Qodana #42: Commit 7d2bb4d pushed by neferin12
January 24, 2024 00:01 1m 3s main
January 24, 2024 00:01 1m 3s
test(python): python benchmark
Java CI with Gradle #68: Commit 7d2bb4d pushed by neferin12
January 24, 2024 00:01 34s main
January 24, 2024 00:01 34s
test(python): python benchmark
PKGBUILD CI #34: Commit 7d2bb4d pushed by neferin12
January 24, 2024 00:01 1m 32s main
January 24, 2024 00:01 1m 32s
fix(python): improve performance
Qodana #41: Commit aaa18cf pushed by neferin12
January 23, 2024 21:10 1m 13s main
January 23, 2024 21:10 1m 13s
fix(python): improve performance
Java CI with Gradle #67: Commit aaa18cf pushed by neferin12
January 23, 2024 21:10 27s main
January 23, 2024 21:10 27s
fix(python): improve performance
CMake #70: Commit aaa18cf pushed by neferin12
January 23, 2024 21:10 41s main
January 23, 2024 21:10 41s
fix(python): improve performance
PKGBUILD CI #33: Commit aaa18cf pushed by neferin12
January 23, 2024 21:10 1m 8s main
January 23, 2024 21:10 1m 8s
use venv in benchmark
Java CI with Gradle #66: Commit ca31cb2 pushed by neferin12
January 23, 2024 11:03 33s main
January 23, 2024 11:03 33s