Skip to content

Actions: viperproject/gobra

Actions

test

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
test.yml
855 workflow runs
855 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
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
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
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
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 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 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
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 test #5171: Pull request #860 synchronize by ArquintL
February 25, 2025 10:39 22m 5s domains-under-interface
domains-under-interface
February 25, 2025 10:39 22m 5s
adapts newly added testcase to take into account that we allow callin… test #5170: Commit 4cf529a pushed by ArquintL
February 25, 2025 10:39 22m 18s domains-under-interface
domains-under-interface
February 25, 2025 10:39 22m 18s
Fix #861 test #5169: Pull request #862 synchronize by ArquintL
February 25, 2025 10:29 22m 54s issue-861
issue-861
February 25, 2025 10:29 22m 54s
adds a ghost erasure testcase test #5168: Commit 33da461 pushed by ArquintL
February 25, 2025 10:29 20m 37s issue-861
issue-861
February 25, 2025 10:29 20m 37s
Fix #861 test #5167: Pull request #862 opened by ArquintL
February 25, 2025 09:54 21m 18s issue-861
issue-861
February 25, 2025 09:54 21m 18s
adapts type-checker to correctly consider the fact that we are implic… test #5166: Commit 823bcbe pushed by ArquintL
February 25, 2025 09:53 21m 38s issue-861
issue-861
February 25, 2025 09:53 21m 38s
adapts type-checker to correctly consider the fact that we are implic… test #5165: Commit 7921bf4 pushed by ArquintL
February 25, 2025 09:51 22m 29s issue-861
issue-861
February 25, 2025 09:51 22m 29s
Domains under interface test #5164: Pull request #860 opened by ArquintL
February 24, 2025 15:33 24m 31s domains-under-interface
domains-under-interface
February 24, 2025 15:33 24m 31s