Skip to content

Actions: viperproject/gobra

Actions

license-check

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
license-check.yml
251 workflow runs
251 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Disallows impure non-ghost calls in ghost code license-check #1849: Pull request #755 synchronize by ArquintL
May 15, 2024 09:59 12s impure-calls-in-ghost-code
impure-calls-in-ghost-code
May 15, 2024 09:59 12s
Update Submodules license-check #1848: Pull request #767 opened by viper-admin
May 6, 2024 17:20 16s auto-update-submodules
auto-update-submodules
May 6, 2024 17:20 16s
Support for Ghost Fields license-check #1847: Pull request #766 opened by ArquintL
May 6, 2024 15:24 13s ghost-field
ghost-field
May 6, 2024 15:24 13s
Update Submodules license-check #1846: Pull request #765 opened by viper-admin
May 6, 2024 09:32 16s auto-update-submodules
auto-update-submodules
May 6, 2024 09:32 16s
Update Submodules license-check #1845: Pull request #764 opened by viper-admin
May 1, 2024 06:01 16s auto-update-submodules
auto-update-submodules
May 1, 2024 06:01 16s
Fix incompletness with conversions to and from strings license-check #1844: Pull request #763 synchronize by jcp19
April 22, 2024 15:36 13s fix-incompletness-string-conversion
fix-incompletness-string-conversion
April 22, 2024 15:36 13s
Fix incompletness with conversions to and from strings license-check #1843: Pull request #763 opened by jcp19
April 22, 2024 15:36 14s fix-incompletness-string-conversion
fix-incompletness-string-conversion
April 22, 2024 15:36 14s
more flexible joins from silicon license-check #1842: Pull request #761 synchronize by jcp19
April 17, 2024 20:00 13s more_flexible_moreJoins
more_flexible_moreJoins
April 17, 2024 20:00 13s
more flexible joins from silicon license-check #1841: Pull request #761 opened by jcp19
April 17, 2024 18:17 16s more_flexible_moreJoins
more_flexible_moreJoins
April 17, 2024 18:17 16s
Support for Ghost Pointers license-check #1840: Pull request #747 synchronize by jcp19
April 3, 2024 14:49 15s ghost-pointer
ghost-pointer
April 3, 2024 14:49 15s
Add missing termination measures in the sequence and array encodings license-check #1839: Pull request #758 synchronize by jcp19
April 2, 2024 12:53 16s add-missing-term-measuers
add-missing-term-measuers
April 2, 2024 12:53 16s
Add missing termination measures in the sequence and array encodings license-check #1838: Pull request #758 opened by jcp19
April 2, 2024 12:13 13s add-missing-term-measuers
add-missing-term-measuers
April 2, 2024 12:13 13s
Update Submodules license-check #1837: Pull request #757 opened by viper-admin
March 29, 2024 19:42 13s auto-update-submodules
auto-update-submodules
March 29, 2024 19:42 13s
Update Submodules license-check #1836: Pull request #756 opened by viper-admin
March 28, 2024 22:13 14s auto-update-submodules
auto-update-submodules
March 28, 2024 22:13 14s
Disallows impure non-ghost calls in ghost code license-check #1835: Pull request #755 synchronize by ArquintL
March 28, 2024 14:57 16s impure-calls-in-ghost-code
impure-calls-in-ghost-code
March 28, 2024 14:57 16s
Disallows impure non-ghost calls in ghost code license-check #1834: Pull request #755 opened by ArquintL
March 28, 2024 14:51 25s impure-calls-in-ghost-code
impure-calls-in-ghost-code
March 28, 2024 14:51 25s
Support for Ghost Pointers license-check #1833: Pull request #747 synchronize by ArquintL
March 28, 2024 14:26 19s ghost-pointer
ghost-pointer
March 28, 2024 14:26 19s
Update Submodules license-check #1832: Pull request #754 opened by viper-admin
March 28, 2024 11:26 11s auto-update-submodules
auto-update-submodules
March 28, 2024 11:26 11s
Support for Ghost Pointers license-check #1831: Pull request #747 synchronize by ArquintL
March 27, 2024 08:32 13s ghost-pointer
ghost-pointer
March 27, 2024 08:32 13s
Update Submodules license-check #1830: Pull request #753 opened by viper-admin
March 26, 2024 15:34 19s auto-update-submodules
auto-update-submodules
March 26, 2024 15:34 19s
Update to new chopper version license-check #1829: Pull request #744 synchronize by jcp19
March 25, 2024 14:55 18s chopper_changes_15_03_24
chopper_changes_15_03_24
March 25, 2024 14:55 18s
Update to new chopper version license-check #1828: Pull request #744 synchronize by jcp19
March 25, 2024 14:54 14s chopper_changes_15_03_24
chopper_changes_15_03_24
March 25, 2024 14:54 14s
Update Submodules license-check #1827: Pull request #752 opened by viper-admin
March 25, 2024 13:09 13s auto-update-submodules
auto-update-submodules
March 25, 2024 13:09 13s
Support for Ghost Pointers license-check #1826: Pull request #747 synchronize by ArquintL
March 25, 2024 13:07 16s ghost-pointer
ghost-pointer
March 25, 2024 13:07 16s
Support for Ghost Pointers license-check #1825: Pull request #747 synchronize by ArquintL
March 24, 2024 21:31 16s ghost-pointer
ghost-pointer
March 24, 2024 21:31 16s