Skip to content

Actions: JetBrains/SnaKt

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
424 workflow runs
424 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Move Name Resolution Logic Into Resolver Formal Verification Plugin CI #424: Pull request #104 synchronize by The-Ray-Man
3m 47s ramon/name-register-move-into-resolver
ramon/name-register-move-into-resolver
3m 47s
Move Name Resolution Logic Into Resolver Formal Verification Plugin CI #423: Pull request #104 synchronize by The-Ray-Man
4m 1s ramon/name-register-move-into-resolver
ramon/name-register-move-into-resolver
4m 1s
Upgrading Viper to the newest version as of April 2026 Formal Verification Plugin CI #422: Pull request #95 synchronize by pawinkler
3m 59s paul/viper-version-upgrade
paul/viper-version-upgrade
3m 59s
Access-permissions on interfaces Formal Verification Plugin CI #421: Pull request #105 opened by pawinkler
3m 45s paul/interface-permissions
paul/interface-permissions
3m 45s
Move Name Resolution Logic Into Resolver Formal Verification Plugin CI #420: Pull request #104 opened by The-Ray-Man
2m 28s ramon/name-register-move-into-resolver
ramon/name-register-move-into-resolver
2m 28s
Name Hierarchy Update Formal Verification Plugin CI #419: Pull request #103 synchronize by The-Ray-Man
6m 52s ramon/name-hierarchy-update
ramon/name-hierarchy-update
6m 52s
Name Hierarchy Update Formal Verification Plugin CI #418: Pull request #103 synchronize by The-Ray-Man
3m 48s ramon/name-hierarchy-update
ramon/name-hierarchy-update
3m 48s
Name Hierarchy Update Formal Verification Plugin CI #417: Pull request #103 synchronize by The-Ray-Man
3m 31s ramon/name-hierarchy-update
ramon/name-hierarchy-update
3m 31s
Name Registration Formal Verification Plugin CI #416: Pull request #101 synchronize by The-Ray-Man
3m 35s ramon/name-registration
ramon/name-registration
3m 35s
Introduce NameType Formal Verification Plugin CI #415: Pull request #100 synchronize by The-Ray-Man
4m 6s ramon/name-type
ramon/name-type
4m 6s
Type Domain Name Style (#99) Formal Verification Plugin CI #414: Commit 7ce614d pushed by The-Ray-Man
3m 38s main
main
3m 38s
Name Hierarchy Update Formal Verification Plugin CI #413: Pull request #103 synchronize by The-Ray-Man
3m 29s ramon/name-hierarchy-update
ramon/name-hierarchy-update
3m 29s
Name Hierarchy Update Formal Verification Plugin CI #412: Pull request #103 synchronize by The-Ray-Man
4m 11s ramon/name-hierarchy-update
ramon/name-hierarchy-update
4m 11s
Fix: pure function body lost in modular verification Formal Verification Plugin CI #411: Pull request #74 synchronize by pawinkler
2h 30m 15s paul/pure-functions-body-bug
paul/pure-functions-body-bug
2h 30m 15s
Name Hierarchy Update Formal Verification Plugin CI #410: Pull request #103 synchronize by The-Ray-Man
4m 51s ramon/name-hierarchy-update
ramon/name-hierarchy-update
4m 51s
Name Hierarchy Update Formal Verification Plugin CI #409: Pull request #103 synchronize by The-Ray-Man
3m 49s ramon/name-hierarchy-update
ramon/name-hierarchy-update
3m 49s
Name Hierarchy Update Formal Verification Plugin CI #408: Pull request #103 opened by The-Ray-Man
6m 16s ramon/name-hierarchy-update
ramon/name-hierarchy-update
6m 16s
Name Registration Formal Verification Plugin CI #407: Pull request #101 synchronize by The-Ray-Man
3m 40s ramon/name-registration
ramon/name-registration
3m 40s
Introduce NameType Formal Verification Plugin CI #406: Pull request #100 synchronize by The-Ray-Man
3m 49s ramon/name-type
ramon/name-type
3m 49s
Introduce NameType Formal Verification Plugin CI #405: Pull request #100 synchronize by The-Ray-Man
4m 15s ramon/name-type
ramon/name-type
4m 15s
Name Registration Formal Verification Plugin CI #404: Pull request #101 opened by The-Ray-Man
4m 25s ramon/name-registration
ramon/name-registration
4m 25s
Introduce NameType Formal Verification Plugin CI #403: Pull request #100 opened by The-Ray-Man
3m 42s ramon/name-type
ramon/name-type
3m 42s
Upgrading Viper to the newest version as of April 2026 Formal Verification Plugin CI #402: Pull request #95 synchronize by pawinkler
4m 26s paul/viper-version-upgrade
paul/viper-version-upgrade
4m 26s
Sai/acc syntax addition Formal Verification Plugin CI #401: Pull request #94 synchronize by The-Ray-Man
6m 57s sai/acc-syntax-addition
sai/acc-syntax-addition
6m 57s
Type Domain Name Style Formal Verification Plugin CI #400: Pull request #99 opened by The-Ray-Man
3m 42s ramon/type-domain-name-style
ramon/type-domain-name-style
3m 42s