Skip to content

Actions: viperproject/gobra

Actions

license-check

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

support nested dicts, maps and dicts-maps in options license-check #1701: Pull request #694 opened by Dspil
October 26, 2023 15:08 19s dspil_nested_dicts
dspil_nested_dicts
October 26, 2023 15:08 19s
Update Submodules license-check #1700: Pull request #689 opened by viper-admin
October 12, 2023 09:45 21s auto-update-submodules
auto-update-submodules
October 12, 2023 09:45 21s
Update Submodules license-check #1699: Pull request #688 opened by viper-admin
October 7, 2023 14:39 14s auto-update-submodules
auto-update-submodules
October 7, 2023 14:39 14s
Several ADT improvements license-check #1698: Pull request #687 synchronize by Felalolf
October 2, 2023 16:54 18s 23-09-adt-fixes
23-09-adt-fixes
October 2, 2023 16:54 18s
Several ADT improvements license-check #1697: Pull request #687 opened by Felalolf
October 2, 2023 10:48 17s 23-09-adt-fixes
23-09-adt-fixes
October 2, 2023 10:48 17s
Update Submodules license-check #1696: Pull request #682 opened by viper-admin
September 27, 2023 08:49 16s auto-update-submodules
auto-update-submodules
September 27, 2023 08:49 16s
Update Submodules license-check #1695: Pull request #680 opened by viper-admin
September 24, 2023 09:01 16s auto-update-submodules
auto-update-submodules
September 24, 2023 09:01 16s
Add flag to require triggers in all quantifiers license-check #1694: Pull request #679 synchronize by jcp19
September 24, 2023 08:58 14s joao-require-triggers
joao-require-triggers
September 24, 2023 08:58 14s
Add flag to require triggers in all quantifiers license-check #1693: Pull request #679 opened by jcp19
September 22, 2023 18:25 15s joao-require-triggers
joao-require-triggers
September 22, 2023 18:25 15s
Improvements in maps license-check #1692: Pull request #676 synchronize by jcp19
September 22, 2023 16:51 18s joao-fix-map-triggers
joao-fix-map-triggers
September 22, 2023 16:51 18s
Improvements in maps license-check #1691: Pull request #676 synchronize by jcp19
September 22, 2023 16:46 16s joao-fix-map-triggers
joao-fix-map-triggers
September 22, 2023 16:46 16s
Improvements in maps license-check #1690: Pull request #676 synchronize by jcp19
September 22, 2023 14:18 17s joao-fix-map-triggers
joao-fix-map-triggers
September 22, 2023 14:18 17s
Enable let expressions with weakly pure subexpressions license-check #1689: Pull request #678 synchronize by jcp19
September 22, 2023 08:41 18s joao-generalize-let
joao-generalize-let
September 22, 2023 08:41 18s
Enable let expressions with weakly pure subexpressions license-check #1688: Pull request #678 synchronize by jcp19
September 21, 2023 14:17 18s joao-generalize-let
joao-generalize-let
September 21, 2023 14:17 18s
Enable let expressions with weakly pure subexpressions license-check #1687: Pull request #678 opened by jcp19
September 21, 2023 13:12 18s joao-generalize-let
joao-generalize-let
September 21, 2023 13:12 18s
Improvements in maps license-check #1686: Pull request #676 synchronize by jcp19
September 21, 2023 11:20 16s joao-fix-map-triggers
joao-fix-map-triggers
September 21, 2023 11:20 16s
Improvements in maps license-check #1685: Pull request #676 synchronize by jcp19
September 21, 2023 09:58 22s joao-fix-map-triggers
joao-fix-map-triggers
September 21, 2023 09:58 22s
Update Submodules license-check #1684: Pull request #677 opened by viper-admin
September 21, 2023 09:17 18s auto-update-submodules
auto-update-submodules
September 21, 2023 09:17 18s
Improvements in maps license-check #1683: Pull request #676 opened by jcp19
September 21, 2023 09:06 19s joao-fix-map-triggers
joao-fix-map-triggers
September 21, 2023 09:06 19s
Missing termination measures license-check #1682: Pull request #675 synchronize by Dspil
September 14, 2023 15:08 20s dspil_sadd_termination
dspil_sadd_termination
September 14, 2023 15:08 20s
Missing termination measures license-check #1681: Pull request #675 opened by Dspil
September 14, 2023 14:44 19s dspil_sadd_termination
dspil_sadd_termination
September 14, 2023 14:44 19s
Slice from array didn't have termination measure license-check #1680: Pull request #674 opened by Dspil
September 13, 2023 09:54 20s dspil_termination_slice
dspil_termination_slice
September 13, 2023 09:54 20s
Add flag to use Z3 via API license-check #1679: Pull request #666 synchronize by Dspil
September 12, 2023 08:59 17s z3_api_flag
z3_api_flag
September 12, 2023 08:59 17s
Add flag to use Z3 via API license-check #1678: Pull request #666 synchronize by Dspil
September 8, 2023 13:28 21s z3_api_flag
z3_api_flag
September 8, 2023 13:28 21s
Add flag to use Z3 via API license-check #1677: Pull request #666 synchronize by Dspil
September 8, 2023 09:59 18s z3_api_flag
z3_api_flag
September 8, 2023 09:59 18s