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 #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
Fix #861 license-check #2082: Pull request #862 synchronize by ArquintL
February 25, 2025 10:29 13s issue-861
issue-861
February 25, 2025 10:29 13s
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
Fix #861 license-check #2081: Pull request #862 opened by ArquintL
February 25, 2025 09:54 18s issue-861
issue-861
February 25, 2025 09:54 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 license-check #2080: Pull request #860 opened by ArquintL
February 24, 2025 15:33 19s domains-under-interface
domains-under-interface
February 24, 2025 15:33 19s
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
allows domains to implement an interface test #5163: Commit ad6b41f pushed by ArquintL
February 24, 2025 15:18 50m 53s domains-under-interface
domains-under-interface
February 24, 2025 15:18 50m 53s
Support for Warnings license-check #2079: Pull request #826 synchronize by ArquintL
February 24, 2025 08:45 14s support-for-warnings
support-for-warnings
February 24, 2025 08:45 14s
Support for Warnings test #5162: Pull request #826 synchronize by ArquintL
February 24, 2025 08:45 21m 22s support-for-warnings
support-for-warnings
February 24, 2025 08:45 21m 22s
fixes type-checker to only lazily create a violation; adapts unit tes… test #5161: Commit c792e80 pushed by ArquintL
February 24, 2025 08:45 22m 43s support-for-warnings
support-for-warnings
February 24, 2025 08:45 22m 43s
Package invariants test #5160: Pull request #810 synchronize by jcp19
February 21, 2025 14:46 23m 16s continue-msinit
continue-msinit
February 21, 2025 14:46 23m 16s
Package invariants license-check #2078: Pull request #810 synchronize by jcp19
February 21, 2025 14:46 14s continue-msinit
continue-msinit
February 21, 2025 14:46 14s
fix member unit tests test #5159: Commit 60693ae pushed by jcp19
February 21, 2025 14:46 24m 23s continue-msinit
continue-msinit
February 21, 2025 14:46 24m 23s
Package invariants license-check #2077: Pull request #810 synchronize by jcp19
February 21, 2025 14:41 13s continue-msinit
continue-msinit
February 21, 2025 14:41 13s
Package invariants test #5158: Pull request #810 synchronize by jcp19
February 21, 2025 14:41 8m 33s continue-msinit
continue-msinit
February 21, 2025 14:41 8m 33s
Apply suggestions from code review test #5157: Commit 57336dc pushed by jcp19
February 21, 2025 14:41 8m 12s continue-msinit
continue-msinit
February 21, 2025 14:41 8m 12s
Support for Warnings test #5156: Pull request #826 synchronize by ArquintL
February 21, 2025 13:32 23m 12s support-for-warnings
support-for-warnings
February 21, 2025 13:32 23m 12s
Support for Warnings license-check #2076: Pull request #826 synchronize by ArquintL
February 21, 2025 13:32 13s support-for-warnings
support-for-warnings
February 21, 2025 13:32 13s
fixes a compilation error in the test suite test #5155: Commit 6f72679 pushed by ArquintL
February 21, 2025 13:32 15m 44s support-for-warnings
support-for-warnings
February 21, 2025 13:32 15m 44s
Support for Warnings test #5154: Pull request #826 synchronize by ArquintL
February 21, 2025 13:25 8m 31s support-for-warnings
support-for-warnings
February 21, 2025 13:25 8m 31s