Skip to content

Actions: viperproject/gobra

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,267 workflow runs
1,267 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Domains under interface test #5188: Pull request #860 synchronize by ArquintL
February 26, 2025 17:11 23m 20s domains-under-interface
domains-under-interface
February 26, 2025 17:11 23m 20s
Domains under interface license-check #2090: Pull request #860 synchronize by ArquintL
February 26, 2025 17:11 16s domains-under-interface
domains-under-interface
February 26, 2025 17:11 16s
adds another testcase test #5187: Commit 9e717d0 pushed by ArquintL
February 26, 2025 17:11 22m 43s domains-under-interface
domains-under-interface
February 26, 2025 17:11 22m 43s
Fix #861 (#862) test #5186: Commit 9470b55 pushed by ArquintL
February 26, 2025 17:10 23m 15s master
master
February 26, 2025 17:10 23m 15s
Domains under interface test #5185: Pull request #860 synchronize by ArquintL
February 26, 2025 17:09 21m 27s domains-under-interface
domains-under-interface
February 26, 2025 17:09 21m 27s
Domains under interface license-check #2089: Pull request #860 synchronize by ArquintL
February 26, 2025 17:09 17s domains-under-interface
domains-under-interface
February 26, 2025 17:09 17s
changes domain types to be identity preserving only if all types that… test #5184: Commit 4e8f4f8 pushed by ArquintL
February 26, 2025 17:09 28m 32s domains-under-interface
domains-under-interface
February 26, 2025 17:09 28m 32s
Package invariants test #5183: Pull request #810 synchronize by jcp19
February 26, 2025 16:28 24m 39s continue-msinit
continue-msinit
February 26, 2025 16:28 24m 39s
Package invariants license-check #2088: Pull request #810 synchronize by jcp19
February 26, 2025 16:28 17s continue-msinit
continue-msinit
February 26, 2025 16:28 17s
Merge branch 'master' into continue-msinit test #5182: Commit aa47be1 pushed by jcp19
February 26, 2025 16:28 23m 11s continue-msinit
continue-msinit
February 26, 2025 16:28 23m 11s
Fix #861 test #5181: Pull request #862 synchronize by ArquintL
February 26, 2025 16:05 22m 35s issue-861
issue-861
February 26, 2025 16:05 22m 35s
Fix #861 license-check #2087: Pull request #862 synchronize by ArquintL
February 26, 2025 16:05 15s issue-861
issue-861
February 26, 2025 16:05 15s
implements CR suggestions by Joao test #5180: Commit 6690ded pushed by ArquintL
February 26, 2025 16:05 23m 36s issue-861
issue-861
February 26, 2025 16:05 23m 36s
Fix #861 license-check #2086: Pull request #862 synchronize by ArquintL
February 26, 2025 14:40 17s issue-861
issue-861
February 26, 2025 14:40 17s
Fix #861 test #5179: Pull request #862 synchronize by ArquintL
February 26, 2025 14:40 16m 18s issue-861
issue-861
February 26, 2025 14:40 16m 18s
Update src/main/scala/viper/gobra/frontend/info/implementation/typing… test #5178: Commit bce2475 pushed by ArquintL
February 26, 2025 14:40 24m 0s issue-861
issue-861
February 26, 2025 14:40 24m 0s
Fixes #620 (#863) test #5177: Commit d2bc4f8 pushed by ArquintL
February 26, 2025 12:19 22m 52s master
master
February 26, 2025 12:19 22m 52s
Fixes #620 license-check #2085: Pull request #863 opened by ArquintL
February 26, 2025 10:29 17s issue-620
issue-620
February 26, 2025 10:29 17s
Fixes #620 test #5176: Pull request #863 opened by ArquintL
February 26, 2025 10:29 17m 2s issue-620
issue-620
February 26, 2025 10:29 17m 2s
adds another test case test #5175: Commit c66a7d6 pushed by ArquintL
February 26, 2025 10:27 22m 31s issue-620
issue-620
February 26, 2025 10:27 22m 31s
fixes type of old and labeled old to always be exclusive test #5174: Commit 0f79ab2 pushed by ArquintL
February 26, 2025 10:17 21m 50s issue-620
issue-620
February 26, 2025 10:17 21m 50s
Support for Warnings test #5173: Pull request #826 synchronize by ArquintL
February 25, 2025 16:26 21m 57s support-for-warnings
support-for-warnings
February 25, 2025 16:26 21m 57s
Support for Warnings license-check #2084: Pull request #826 synchronize by ArquintL
February 25, 2025 16:26 17s support-for-warnings
support-for-warnings
February 25, 2025 16:26 17s
integrates parser warnings into the warnings framework test #5172: Commit 2e36715 pushed by ArquintL
February 25, 2025 16:26 43m 30s support-for-warnings
support-for-warnings
February 25, 2025 16:26 43m 30s
Domains under interface license-check #2083: Pull request #860 synchronize by ArquintL
February 25, 2025 10:39 15s domains-under-interface
domains-under-interface
February 25, 2025 10:39 15s