Skip to content

Actions: marcoeilers/nagini

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
190 workflow runs
190 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #205 from marcoeilers/typed_result Nagini Tests Ubuntu #210: Commit d93498e pushed by marcoeilers
August 30, 2024 12:02 1h 28m 38s master
master
August 30, 2024 12:02 1h 28m 38s
Adding typed Result() contract function Nagini Tests Ubuntu #209: Pull request #205 synchronize by marcoeilers
August 30, 2024 09:47 1h 30m 14s typed_result
typed_result
August 30, 2024 09:47 1h 30m 14s
Undid change to tuple tests that mypy does not like Nagini Tests Ubuntu #208: Commit ad2fcb9 pushed by marcoeilers
August 30, 2024 09:47 1h 28m 34s typed_result
typed_result
August 30, 2024 09:47 1h 28m 34s
Adding typed Result() contract function Nagini Tests Ubuntu #207: Pull request #205 synchronize by marcoeilers
August 30, 2024 09:22 1h 10m 1s typed_result
typed_result
August 30, 2024 09:22 1h 10m 1s
Fixed incorrect variable name Nagini Tests Ubuntu #206: Commit 0fdd541 pushed by marcoeilers
August 30, 2024 09:22 1h 7m 5s typed_result
typed_result
August 30, 2024 09:22 1h 7m 5s
Adding typed Result() contract function Nagini Tests Ubuntu #205: Pull request #205 opened by marcoeilers
August 30, 2024 09:12 2h 19m 16s typed_result
typed_result
August 30, 2024 09:12 2h 19m 16s
Adding typed Result() contract function Nagini Tests Ubuntu #204: Commit 446d6b1 pushed by marcoeilers
August 30, 2024 09:10 2h 50m 22s typed_result
typed_result
August 30, 2024 09:10 2h 50m 22s
Update README.rst Nagini Tests Ubuntu #203: Commit f0a9456 pushed by marcoeilers
August 30, 2024 09:09 1h 18m 17s typed_result
typed_result
August 30, 2024 09:09 1h 18m 17s
Update README.rst Nagini Tests Ubuntu #202: Commit f0a9456 pushed by marcoeilers
June 13, 2024 19:56 1h 30m 39s master
master
June 13, 2024 19:56 1h 30m 39s
Update README.rst Nagini Tests Ubuntu #201: Commit d76e9e9 pushed by marcoeilers
June 13, 2024 19:53 6h 0m 23s master
master
June 13, 2024 19:53 6h 0m 23s
Update README.rst Nagini Tests Ubuntu #200: Commit ba3becb pushed by marcoeilers
June 13, 2024 19:52 1h 13m 49s patch-2
patch-2
June 13, 2024 19:52 1h 13m 49s
Update README.rst Nagini Tests Ubuntu #199: Commit 1acae64 pushed by marcoeilers
June 13, 2024 19:51 1h 7m 10s patch-1
patch-1
June 13, 2024 19:51 1h 7m 10s
Merge pull request #197 from marcoeilers/fix_196 Nagini Tests Ubuntu #198: Commit 83b204d pushed by marcoeilers
June 13, 2024 17:08 1h 20m 4s master
master
June 13, 2024 17:08 1h 20m 4s
Fixing union subtype axiom Nagini Tests Ubuntu #197: Pull request #197 synchronize by marcoeilers
June 13, 2024 15:23 1h 26m 14s fix_196
fix_196
June 13, 2024 15:23 1h 26m 14s
Fixing axiom Nagini Tests Ubuntu #196: Commit bff6876 pushed by marcoeilers
June 13, 2024 15:23 1h 12m 30s fix_196
fix_196
June 13, 2024 15:23 1h 12m 30s
Fixing union subtype axiom Nagini Tests Ubuntu #195: Pull request #197 synchronize by marcoeilers
June 13, 2024 14:45 1h 4m 48s fix_196
fix_196
June 13, 2024 14:45 1h 4m 48s
Fixing new incompleteness, no object's runtime type is a union type Nagini Tests Ubuntu #194: Commit cf2c649 pushed by marcoeilers
June 13, 2024 14:45 1h 17m 18s fix_196
fix_196
June 13, 2024 14:45 1h 17m 18s
Fixing union subtype axiom Nagini Tests Ubuntu #193: Pull request #197 opened by marcoeilers
June 13, 2024 14:09 1h 12m 20s fix_196
fix_196
June 13, 2024 14:09 1h 12m 20s
Fixing union subtype axiom Nagini Tests Ubuntu #192: Commit 330a4f3 pushed by marcoeilers
June 13, 2024 14:06 1h 22m 20s fix_196
fix_196
June 13, 2024 14:06 1h 22m 20s
are more test files from examples to evaluation. notebook for generat… Nagini Tests Ubuntu with Dockerfile #1: Commit e0b70f2 pushed by marcoeilers
June 3, 2024 15:01 47m 17s edgars_dynamic
edgars_dynamic
June 3, 2024 15:01 47m 17s
Merge pull request #195 from marcoeilers/fix_unknown_operator_brash Nagini Tests Ubuntu #191: Commit 109f818 pushed by marcoeilers
June 3, 2024 12:52 1h 30m 0s master
master
June 3, 2024 12:52 1h 30m 0s
Fix unsupported operator crash Nagini Tests Ubuntu #190: Pull request #195 opened by marcoeilers
June 3, 2024 11:35 1h 7m 39s fix_unknown_operator_brash
fix_unknown_operator_brash
June 3, 2024 11:35 1h 7m 39s
Merge branch 'master' into fix_unknown_operator_brash Nagini Tests Ubuntu #189: Commit 2a98e06 pushed by marcoeilers
June 3, 2024 10:45 1h 15m 3s fix_unknown_operator_brash
fix_unknown_operator_brash
June 3, 2024 10:45 1h 15m 3s
Python 3.10 support and updated jpype and pytest Nagini Tests Ubuntu #188: Pull request #168 synchronize by marcoeilers
May 28, 2024 19:04 2h 8m 17s py310
py310
May 28, 2024 19:04 2h 8m 17s
Merge pull request #194 from marcoeilers/master Nagini Tests Ubuntu #187: Commit 8467974 pushed by marcoeilers
May 28, 2024 19:04 1h 26m 10s py310
py310
May 28, 2024 19:04 1h 26m 10s