Skip to content

Actions: jesyspa/kotlin

Actions

Formal Verification Plugin CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
gradle.yml
548 workflow runs
548 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

create cfa checker for unique Formal Verification Plugin CI #473: Pull request #221 synchronize by Eric-Song-Nop
July 23, 2024 11:52 3m 14s cfa-unique-checker
cfa-unique-checker
July 23, 2024 11:52 3m 14s
create cfa checker for unique Formal Verification Plugin CI #472: Pull request #221 synchronize by Eric-Song-Nop
July 23, 2024 11:42 3m 36s cfa-unique-checker
cfa-unique-checker
July 23, 2024 11:42 3m 36s
Shorten mangled names Formal Verification Plugin CI #471: Pull request #227 synchronize by jesyspa
July 19, 2024 13:57 3m 7s shorten-names
shorten-names
July 19, 2024 13:57 3m 7s
Restructure scoping definitions to be more structured. Formal Verification Plugin CI #470: Pull request #230 opened by jesyspa
July 19, 2024 13:26 3m 5s better-name-scoping
better-name-scoping
July 19, 2024 13:26 3m 5s
Stdlib Functions for Tests Accessible with Bodies Formal Verification Plugin CI #469: Pull request #220 synchronize by GrigoriiSolnyshkin
July 17, 2024 13:44 2m 52s stdlib-extension-functions-for-tests
stdlib-extension-functions-for-tests
July 17, 2024 13:44 2m 52s
Shorten mangled names Formal Verification Plugin CI #468: Pull request #227 synchronize by jesyspa
July 17, 2024 13:28 3m 20s shorten-names
shorten-names
July 17, 2024 13:28 3m 20s
Add a builder for TypeEmbeddings Formal Verification Plugin CI #467: Pull request #229 opened by jesyspa
July 17, 2024 13:15 3m 57s type-builder
type-builder
July 17, 2024 13:15 3m 57s
Split class details into separate object. (#224) Formal Verification Plugin CI #466: Commit bf8db14 pushed by jesyspa
July 17, 2024 13:13 5m 52s formal-verification
formal-verification
July 17, 2024 13:13 5m 52s
Shorten mangled names Formal Verification Plugin CI #465: Pull request #227 synchronize by jesyspa
July 17, 2024 09:32 3m 6s shorten-names
shorten-names
July 17, 2024 09:32 3m 6s
Shorten mangled names Formal Verification Plugin CI #464: Pull request #227 synchronize by jesyspa
July 17, 2024 08:24 3m 21s shorten-names
shorten-names
July 17, 2024 08:24 3m 21s
Shorten mangled names Formal Verification Plugin CI #463: Pull request #227 synchronize by jesyspa
July 16, 2024 08:37 3m 25s shorten-names
shorten-names
July 16, 2024 08:37 3m 25s
Shorten mangled names Formal Verification Plugin CI #462: Pull request #227 synchronize by jesyspa
July 16, 2024 08:35 3m 17s shorten-names
shorten-names
July 16, 2024 08:35 3m 17s
Shorten mangled names Formal Verification Plugin CI #461: Pull request #227 synchronize by jesyspa
July 16, 2024 08:08 3m 13s shorten-names
shorten-names
July 16, 2024 08:08 3m 13s
Split class details into separate object. Formal Verification Plugin CI #460: Pull request #224 synchronize by jesyspa
July 15, 2024 14:51 3m 7s class-split
class-split
July 15, 2024 14:51 3m 7s
Split class details into separate object. Formal Verification Plugin CI #459: Pull request #224 synchronize by jesyspa
July 15, 2024 13:07 3m 2s class-split
class-split
July 15, 2024 13:07 3m 2s
Test fix: Include uniqueness postconditions in new test of #218 (#228) Formal Verification Plugin CI #458: Commit 52bd7af pushed by jesyspa
July 15, 2024 13:01 5m 23s formal-verification
formal-verification
July 15, 2024 13:01 5m 23s
Test fix: Include uniqueness postconditions in new test of #218 Formal Verification Plugin CI #457: Pull request #228 opened by GrigoriiSolnyshkin
July 15, 2024 12:53 2m 45s include-unique-constructor-test-fix
include-unique-constructor-test-fix
July 15, 2024 12:53 2m 45s
Generic Run Analogues (#218) Formal Verification Plugin CI #456: Commit 85731bf pushed by GrigoriiSolnyshkin
July 15, 2024 10:09 5m 20s formal-verification
formal-verification
July 15, 2024 10:09 5m 20s
Split class details into separate object. Formal Verification Plugin CI #455: Pull request #224 synchronize by jesyspa
July 15, 2024 08:26 3m 36s class-split
class-split
July 15, 2024 08:26 3m 36s
Remove unused function TypeEmbeddings. (#226) Formal Verification Plugin CI #454: Commit 58b64db pushed by jesyspa
July 13, 2024 12:16 6m 29s formal-verification
formal-verification
July 13, 2024 12:16 6m 29s
Removal of Unused Entities After #216 (#225) Formal Verification Plugin CI #453: Commit 9001704 pushed by GrigoriiSolnyshkin
July 13, 2024 11:23 5m 26s formal-verification
formal-verification
July 13, 2024 11:23 5m 26s
Shorten mangled names Formal Verification Plugin CI #452: Pull request #227 opened by jesyspa
July 12, 2024 15:54 3m 18s shorten-names
shorten-names
July 12, 2024 15:54 3m 18s
Remove unused function TypeEmbeddings. Formal Verification Plugin CI #451: Pull request #226 opened by jesyspa
July 12, 2024 15:17 3m 16s remove-legacy-fun
remove-legacy-fun
July 12, 2024 15:17 3m 16s
Removal of Unused Entities After #216 Formal Verification Plugin CI #450: Pull request #225 opened by GrigoriiSolnyshkin
July 12, 2024 13:01 3m 20s removal-of-call-in-place-relics
removal-of-call-in-place-relics
July 12, 2024 13:01 3m 20s
Stdlib Functions for Tests Accessible with Bodies Formal Verification Plugin CI #449: Pull request #220 synchronize by GrigoriiSolnyshkin
July 12, 2024 09:17 3m 2s stdlib-extension-functions-for-tests
stdlib-extension-functions-for-tests
July 12, 2024 09:17 3m 2s