Skip to content

Actions: marcoeilers/nagini

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
153 workflow runs
153 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
Python 3.10 support and updated jpype and pytest Nagini Tests Ubuntu #174: Pull request #168 synchronize by marcoeilers
April 28, 2024 15:56 1h 16m 28s py310
py310
April 28, 2024 15:56 1h 16m 28s
Merge branch 'master' into py310 Nagini Tests Ubuntu #173: Commit f2ee2e3 pushed by marcoeilers
April 28, 2024 15:56 1h 34m 33s py310
py310
April 28, 2024 15:56 1h 34m 33s
Merge pull request #190 from PascalDevenoge/master Nagini Tests Ubuntu #172: Commit 9ee9d5f pushed by marcoeilers
April 28, 2024 15:52 1h 18m 26s master
master
April 28, 2024 15:52 1h 18m 26s
Fix inconsistent use of __div__ and __truediv__ Nagini Tests Ubuntu #171: Pull request #190 opened by PascalDevenoge
April 28, 2024 13:33 1h 8m 22s PascalDevenoge:master
PascalDevenoge:master
April 28, 2024 13:33 1h 8m 22s
Python 3.10 support and updated jpype and pytest Nagini Tests Ubuntu #170: Pull request #168 synchronize by marcoeilers
April 27, 2024 09:21 1h 17m 6s py310
py310
April 27, 2024 09:21 1h 17m 6s
Merge Nagini Tests Ubuntu #169: Commit 184a0e5 pushed by marcoeilers
April 27, 2024 09:21 2h 16m 23s py310
py310
April 27, 2024 09:21 2h 16m 23s
Merge pull request #173 from marcoeilers/better_tuple_types Nagini Tests Ubuntu #168: Commit 6a8c9b2 pushed by marcoeilers
April 26, 2024 21:59 1h 27m 29s master
master
April 26, 2024 21:59 1h 27m 29s
Better tuple axiomatization Nagini Tests Ubuntu #167: Pull request #173 synchronize by marcoeilers
April 26, 2024 18:36 1h 14m 54s better_tuple_types
better_tuple_types
April 26, 2024 18:36 1h 14m 54s
Adding more stuff to test to try to find an error if there is one Nagini Tests Ubuntu #166: Commit 930cd39 pushed by marcoeilers
April 26, 2024 18:36 1h 4m 19s better_tuple_types
better_tuple_types
April 26, 2024 18:36 1h 4m 19s
Better tuple axiomatization Nagini Tests Ubuntu #165: Pull request #173 synchronize by marcoeilers
April 26, 2024 18:28 1h 6m 1s better_tuple_types
better_tuple_types
April 26, 2024 18:28 1h 6m 1s
Adding more stuff to test to try to find an error if there is one Nagini Tests Ubuntu #164: Commit cea14b1 pushed by marcoeilers
April 26, 2024 18:28 1h 11m 36s better_tuple_types
better_tuple_types
April 26, 2024 18:28 1h 11m 36s
Merge pull request #189 from marcoeilers/fix_viper_submitter Nagini Tests Ubuntu #163: Commit e837c41 pushed by marcoeilers
April 26, 2024 15:14 1h 0m 12s master
master
April 26, 2024 15:14 1h 0m 12s
Better tuple axiomatization Nagini Tests Ubuntu #162: Pull request #173 synchronize by marcoeilers
April 26, 2024 14:18 1h 9m 51s better_tuple_types
better_tuple_types
April 26, 2024 14:18 1h 9m 51s
Merge branch 'master' into better_tuple_types Nagini Tests Ubuntu #161: Commit 3bf4467 pushed by marcoeilers
April 26, 2024 14:18 1h 0m 58s better_tuple_types
better_tuple_types
April 26, 2024 14:18 1h 0m 58s
Fixing program submitter call Nagini Tests Ubuntu #160: Pull request #189 opened by marcoeilers
April 26, 2024 14:12 52m 39s fix_viper_submitter
fix_viper_submitter
April 26, 2024 14:12 52m 39s
Fixing program submitter call Nagini Tests Ubuntu #159: Commit c49c632 pushed by marcoeilers
April 26, 2024 14:12 56m 29s fix_viper_submitter
fix_viper_submitter
April 26, 2024 14:12 56m 29s
Merge pull request #180 from Simon-Hostettler/master Nagini Tests Ubuntu #158: Commit 1aa41bd pushed by marcoeilers
April 26, 2024 14:02 56m 57s master
master
April 26, 2024 14:02 56m 57s
Merge pull request #188 from PascalDevenoge/inplace_magic_func Nagini Tests Ubuntu #157: Commit f42e8df pushed by marcoeilers
April 26, 2024 14:01 50m 4s master
master
April 26, 2024 14:01 50m 4s
Merge pull request #184 from PascalDevenoge/negation_magic_func Nagini Tests Ubuntu #156: Commit dabeccc pushed by marcoeilers
April 26, 2024 13:40 1h 3m 18s master
master
April 26, 2024 13:40 1h 3m 18s
Add support for overloading inplace arithmetic operators Nagini Tests Ubuntu #155: Pull request #188 synchronize by marcoeilers
April 26, 2024 11:07 54m 52s PascalDevenoge:inplace_magic_func
PascalDevenoge:inplace_magic_func
April 26, 2024 11:07 54m 52s
Implement support for unary operator magic functions Nagini Tests Ubuntu #154: Pull request #184 synchronize by marcoeilers
April 26, 2024 10:56 51m 57s PascalDevenoge:negation_magic_func
PascalDevenoge:negation_magic_func
April 26, 2024 10:56 51m 57s
Merge pull request #183 from PascalDevenoge/right_operand_magic_funct… Nagini Tests Ubuntu #153: Commit 4554a17 pushed by marcoeilers
April 26, 2024 10:55 59m 55s master
master
April 26, 2024 10:55 59m 55s
Add support for overloading inplace arithmetic operators Nagini Tests Ubuntu #152: Pull request #188 opened by PascalDevenoge
April 26, 2024 09:58 59m 31s PascalDevenoge:inplace_magic_func
PascalDevenoge:inplace_magic_func
April 26, 2024 09:58 59m 31s
Implement support for unary operator magic functions Nagini Tests Ubuntu #151: Pull request #184 synchronize by PascalDevenoge
April 26, 2024 09:20 55m 1s PascalDevenoge:negation_magic_func
PascalDevenoge:negation_magic_func
April 26, 2024 09:20 55m 1s
Add support for reflected arithmetic magic functions Nagini Tests Ubuntu #150: Pull request #183 synchronize by PascalDevenoge
April 26, 2024 09:07 55m 26s PascalDevenoge:right_operand_magic_functions
PascalDevenoge:right_operand_magic_functions
April 26, 2024 09:07 55m 26s