Skip to content

Actions: jesyspa/kotlin

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
104 workflow runs
104 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Quick Sort, Z-function samples (#263) Formal Verification Plugin CI #638: Commit ef253a2 pushed by GrigoriiSolnyshkin
6h 1m 8s formal-verification
formal-verification
6h 1m 8s
Quick Sort, Z-function samples Formal Verification Plugin CI #637: Pull request #263 synchronize by GrigoriiSolnyshkin
18m 14s quick-sort-test
quick-sort-test
18m 14s
Validity error reporting (#262) Formal Verification Plugin CI #636: Commit bc1813e pushed by HenrikPaetzold
18m 13s formal-verification
formal-verification
18m 13s
Validity error reporting Formal Verification Plugin CI #635: Pull request #262 synchronize by HenrikPaetzold
18m 58s validity-error-reporting
validity-error-reporting
18m 58s
Validity error reporting Formal Verification Plugin CI #634: Pull request #262 synchronize by HenrikPaetzold
19m 34s validity-error-reporting
validity-error-reporting
19m 34s
Validity error reporting Formal Verification Plugin CI #633: Pull request #262 synchronize by HenrikPaetzold
19m 36s validity-error-reporting
validity-error-reporting
19m 36s
Validity error reporting Formal Verification Plugin CI #632: Pull request #262 synchronize by HenrikPaetzold
18m 8s validity-error-reporting
validity-error-reporting
18m 8s
Validity error reporting Formal Verification Plugin CI #631: Pull request #262 synchronize by HenrikPaetzold
22m 8s validity-error-reporting
validity-error-reporting
22m 8s
Validity error reporting Formal Verification Plugin CI #630: Pull request #262 synchronize by HenrikPaetzold
20m 49s validity-error-reporting
validity-error-reporting
20m 49s
Validity error reporting Formal Verification Plugin CI #629: Pull request #262 synchronize by HenrikPaetzold
20m 31s validity-error-reporting
validity-error-reporting
20m 31s
Validity error reporting Formal Verification Plugin CI #628: Pull request #262 synchronize by HenrikPaetzold
20m 15s validity-error-reporting
validity-error-reporting
20m 15s
Validity error reporting Formal Verification Plugin CI #627: Pull request #262 synchronize by HenrikPaetzold
17m 10s validity-error-reporting
validity-error-reporting
17m 10s
Validity error reporting Formal Verification Plugin CI #626: Pull request #262 synchronize by HenrikPaetzold
22m 14s validity-error-reporting
validity-error-reporting
22m 14s
Validity error reporting Formal Verification Plugin CI #625: Pull request #262 synchronize by HenrikPaetzold
20m 8s validity-error-reporting
validity-error-reporting
20m 8s
Validity error reporting Formal Verification Plugin CI #624: Pull request #262 synchronize by HenrikPaetzold
18m 14s validity-error-reporting
validity-error-reporting
18m 14s
Validity error reporting Formal Verification Plugin CI #623: Pull request #262 synchronize by HenrikPaetzold
21m 26s validity-error-reporting
validity-error-reporting
21m 26s
Validity error reporting Formal Verification Plugin CI #622: Pull request #262 synchronize by HenrikPaetzold
16m 59s validity-error-reporting
validity-error-reporting
16m 59s
Quick Sort, Z-function samples Formal Verification Plugin CI #621: Pull request #263 synchronize by GrigoriiSolnyshkin
27m 22s quick-sort-test
quick-sort-test
27m 22s
Quick Sort, Z-function samples Formal Verification Plugin CI #620: Pull request #263 opened by GrigoriiSolnyshkin
17m 22s quick-sort-test
quick-sort-test
17m 22s
Validity error reporting Formal Verification Plugin CI #619: Pull request #262 synchronize by HenrikPaetzold
17m 38s validity-error-reporting
validity-error-reporting
17m 38s
Validity error reporting Formal Verification Plugin CI #618: Pull request #262 opened by HenrikPaetzold
17m 18s validity-error-reporting
validity-error-reporting
17m 18s
Validity Traversal (#260) Formal Verification Plugin CI #617: Commit 93c49ff pushed by HenrikPaetzold
22m 26s formal-verification
formal-verification
22m 26s
Validity Traversal Formal Verification Plugin CI #616: Pull request #260 synchronize by HenrikPaetzold
21m 55s validity-traversal
validity-traversal
21m 55s
Validity Traversal Formal Verification Plugin CI #615: Pull request #260 synchronize by HenrikPaetzold
21m 10s validity-traversal
validity-traversal
21m 10s
Validity Traversal Formal Verification Plugin CI #614: Pull request #260 synchronize by HenrikPaetzold
5m 12s validity-traversal
validity-traversal
5m 12s