Skip to content

Actions: marcoeilers/nagini

Actions

Nagini Basic Tests Windows Python 3.11

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
476 workflow runs
476 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Small changes Nagini Basic Tests Windows Python 3.11 #724: Commit cb857e8 pushed by marcoeilers
24m 54s c_api_interaction
c_api_interaction
24m 54s
Branch condition reporting (#298) Nagini Basic Tests Windows Python 3.11 #723: Commit 5a2debe pushed by marcoeilers
24m 6s master
master
24m 6s
Branch condition reporting Nagini Basic Tests Windows Python 3.11 #722: Pull request #298 synchronize by marcoeilers
24m 20s branch_conds
branch_conds
24m 20s
Merge Nagini Basic Tests Windows Python 3.11 #721: Commit 7d54ccf pushed by marcoeilers
23m 20s branch_conds
branch_conds
23m 20s
Changes from Luca's project (#299) Nagini Basic Tests Windows Python 3.11 #720: Commit e31fa88 pushed by marcoeilers
23m 17s master
master
23m 17s
Changes from Luca's project Nagini Basic Tests Windows Python 3.11 #719: Pull request #299 opened by marcoeilers
21m 17s luca_changes
luca_changes
21m 17s
Fixing tests Nagini Basic Tests Windows Python 3.11 #718: Commit ab96005 pushed by marcoeilers
23m 46s luca_changes
luca_changes
23m 46s
ASN.1 branch except primitive type aliases and preprocessing Nagini Basic Tests Windows Python 3.11 #717: Commit c66978a pushed by marcoeilers
23m 5s luca_changes
luca_changes
23m 5s
Branch condition reporting Nagini Basic Tests Windows Python 3.11 #716: Pull request #298 synchronize by marcoeilers
18m 43s branch_conds
branch_conds
18m 43s
Also output branch conditions when using counterexamples Nagini Basic Tests Windows Python 3.11 #715: Commit bb78274 pushed by marcoeilers
19m 53s branch_conds
branch_conds
19m 53s
Branch condition reporting Nagini Basic Tests Windows Python 3.11 #714: Pull request #298 synchronize by marcoeilers
18m 44s branch_conds
branch_conds
18m 44s
Less ugly code Nagini Basic Tests Windows Python 3.11 #713: Commit 1e69fb5 pushed by marcoeilers
19m 2s branch_conds
branch_conds
19m 2s
Branch condition reporting Nagini Basic Tests Windows Python 3.11 #712: Pull request #298 synchronize by marcoeilers
19m 4s branch_conds
branch_conds
19m 4s
Adding command line flag Nagini Basic Tests Windows Python 3.11 #711: Commit 68b8ad4 pushed by marcoeilers
20m 31s branch_conds
branch_conds
20m 31s
Branch condition reporting Nagini Basic Tests Windows Python 3.11 #710: Pull request #298 opened by marcoeilers
20m 4s branch_conds
branch_conds
20m 4s
Properly handling with-block Nagini Basic Tests Windows Python 3.11 #709: Commit 7bcbeee pushed by marcoeilers
19m 52s branch_conds
branch_conds
19m 52s
Fixing cases where we don't get a good branch condition Nagini Basic Tests Windows Python 3.11 #708: Commit 58502c2 pushed by marcoeilers
20m 11s branch_conds
branch_conds
20m 11s
Attaching more error information to things we branch on Nagini Basic Tests Windows Python 3.11 #707: Commit 693200e pushed by marcoeilers
20m 30s branch_conds
branch_conds
20m 30s
Experimental branch condition reporting Nagini Basic Tests Windows Python 3.11 #706: Commit 8ce3699 pushed by marcoeilers
19m 53s branch_conds
branch_conds
19m 53s
A bunch of stuff Nagini Basic Tests Windows Python 3.11 #705: Pull request #295 synchronize by rayman2000
19m 31s nklose/qol-and-errors
nklose/qol-and-errors
19m 31s
strict int for pseqs Nagini Basic Tests Windows Python 3.11 #704: Commit 7698653 pushed by rayman2000
21m 5s nklose/qol-and-errors
nklose/qol-and-errors
21m 5s
update pyproject.toml, drop python <3.12 Nagini Basic Tests Windows Python 3.11 #703: Commit 7a31657 pushed by fbeckers
21m 41s the_road_to_python_3.14
the_road_to_python_3.14
21m 41s
mypy upgrade to version 1.5.0 including adjustment of test cases Nagini Basic Tests Windows Python 3.11 #702: Commit e74eee1 pushed by fbeckers
20m 46s the_road_to_python_3.14
the_road_to_python_3.14
20m 46s
Handle LiteralType and fallback for mypy 1.5.0 in typeinfo.py and ana… Nagini Basic Tests Windows Python 3.11 #701: Commit bd34c20 pushed by Copilot AI
Action required copilot/update-mypy-version
copilot/update-mypy-version
Action required
update basic dependencies Nagini Basic Tests Windows Python 3.11 #700: Commit c3e303e pushed by fbeckers
20m 28s the_road_to_python_3.14
the_road_to_python_3.14
20m 28s