Skip to content

Actions: neferin12/iSM

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
348 workflow runs
348 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix(rust): enable parallel model checking
CMake #80: Commit 9f45bb9 pushed by neferin12
February 26, 2024 19:55 59s main
February 26, 2024 19:55 59s
fix(rust): enable parallel model checking
Qodana #51: Commit 9f45bb9 pushed by neferin12
February 26, 2024 19:55 1m 10s main
February 26, 2024 19:55 1m 10s
fix(rust): enable parallel model checking
PKGBUILD CI #41: Commit 9f45bb9 pushed by neferin12
February 26, 2024 19:55 1m 22s main
February 26, 2024 19:55 1m 22s
fix(rust): enable parallel model checking
Java CI with Gradle #77: Commit 9f45bb9 pushed by neferin12
February 26, 2024 19:55 30s main
February 26, 2024 19:55 30s
ci: fix rust ci
Java CI with Gradle #76: Commit 88fd7d9 pushed by neferin12
February 26, 2024 19:40 26s main
February 26, 2024 19:40 26s
ci: fix rust ci
CMake #79: Commit 88fd7d9 pushed by neferin12
February 26, 2024 19:40 1m 1s main
February 26, 2024 19:40 1m 1s
ci: fix rust ci
Rust #2: Commit 88fd7d9 pushed by neferin12
February 26, 2024 19:40 35s main
February 26, 2024 19:40 35s
ci: fix rust ci
Qodana #50: Commit 88fd7d9 pushed by neferin12
February 26, 2024 19:40 1m 0s main
February 26, 2024 19:40 1m 0s
ci: fix rust ci
PKGBUILD CI #40: Commit 88fd7d9 pushed by neferin12
February 26, 2024 19:40 1m 13s main
February 26, 2024 19:40 1m 13s
Create rust.yml
PKGBUILD CI #39: Commit a4a750c pushed by neferin12
February 26, 2024 19:39 1m 11s main
February 26, 2024 19:39 1m 11s
Create rust.yml
Qodana #49: Commit a4a750c pushed by neferin12
February 26, 2024 19:39 1m 8s main
February 26, 2024 19:39 1m 8s
Create rust.yml
CMake #78: Commit a4a750c pushed by neferin12
February 26, 2024 19:39 1m 27s main
February 26, 2024 19:39 1m 27s
Create rust.yml
Java CI with Gradle #75: Commit a4a750c pushed by neferin12
February 26, 2024 19:39 39s main
February 26, 2024 19:39 39s
Create rust.yml
Rust #1: Commit a4a750c pushed by neferin12
February 26, 2024 19:39 12s main
February 26, 2024 19:39 12s
feat: Model Checking with rust
Java CI with Gradle #74: Commit 9715e06 pushed by neferin12
February 26, 2024 19:36 38s main
February 26, 2024 19:36 38s
feat: Model Checking with rust
Qodana #48: Commit 9715e06 pushed by neferin12
February 26, 2024 19:36 1m 7s main
February 26, 2024 19:36 1m 7s
feat: Model Checking with rust
PKGBUILD CI #38: Commit 9715e06 pushed by neferin12
February 26, 2024 19:36 1m 36s main
February 26, 2024 19:36 1m 36s
feat: Model Checking with rust
CMake #77: Commit 9715e06 pushed by neferin12
February 26, 2024 19:36 50s main
February 26, 2024 19:36 50s
Model checking
Qodana #47: Pull request #2 opened by neferin12
February 26, 2024 19:34 1m 3s model-checking
February 26, 2024 19:34 1m 3s
Model checking
CMake #76: Pull request #2 opened by neferin12
February 26, 2024 19:34 1m 12s model-checking
February 26, 2024 19:34 1m 12s
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