Skip to content

Actions: Julian/rpylean

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
319 workflow runs
319 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Include info when types are wrong in JSON parser. CI #319: Commit 3924736 pushed by Julian
52s json
json
52s
tutorial 04 CI #318: Commit d6fde42 pushed by Julian
50s json
json
50s
tutorial 02 + 03 CI #317: Commit af88707 pushed by Julian
40s json
json
40s
Fix another level comparison defeq. CI #316: Commit ddb0ca9 pushed by Julian
1m 59s main
main
1m 59s
Dead. CI #315: Commit 0fc1b7c pushed by Julian
1m 50s main
main
1m 50s
Unbreak not providing max fail. CI #314: Commit a7a7183 pushed by Julian
1m 44s main
main
1m 44s
Add rpylean check --max-fail CI #313: Commit de76440 pushed by Julian
1m 45s main
main
1m 45s
Drop into pdb when untranslated. CI #312: Commit b1a5984 pushed by Julian
1m 51s main
main
1m 51s
Minor style. CI #311: Commit ccc22b1 pushed by Julian
1m 51s main
main
1m 51s
Add --help to the CLI --help output. CI #310: Commit 8663d11 pushed by Julian
1m 43s main
main
1m 43s
Remove the recursion limit twiddling until we know why. CI #309: Commit 237a26a pushed by Julian
1m 47s main
main
1m 47s
Fix showing level zero in const pretty printing. CI #308: Commit b47b9df pushed by Julian
1m 55s main
main
1m 55s
Make Name.hash order sensitive. CI #307: Commit 1cfeb13 pushed by Julian
1m 51s main
main
1m 51s
Un-twistify the lambda and forall functions. CI #306: Commit 0013761 pushed by Julian
1m 54s main
main
1m 54s
Swear to RPython that we only compare names with names, not _Items. CI #305: Commit 18576f2 pushed by Julian
1m 57s main
main
1m 57s
Stab at Let.infer. CI #304: Commit d688df7 pushed by Julian
1m 49s main
main
1m 49s
Complain about invalid projections. CI #303: Commit 43226de pushed by Julian
1m 41s main
main
1m 41s
Another helper. CI #302: Commit d42c7ff pushed by Julian
1m 53s main
main
1m 53s
Def eq for projections. CI #301: Commit 71ecef9 pushed by Julian
1m 46s main
main
1m 46s
Proper-er pretty printing of Projes. CI #300: Commit 32205f4 pushed by Julian
1m 56s main
main
1m 56s
defeq for string expressions, and try to fix some level vs. name issues CI #299: Commit 1f05422 pushed by Julian
2m 43s main
main
2m 43s
Distribute "homogeneous" def_eq across the item types. CI #298: Commit 925f0c9 pushed by Julian
1m 54s main
main
1m 54s
Remove a trailing space in W_Axiom's repr. CI #297: Commit 91fd653 pushed by Julian
2m 16s main
main
2m 16s
Minor defeq tidying. CI #296: Commit a09281e pushed by Julian
1m 58s main
main
1m 58s
Expose lean_is_private_name even though I don't see what to call it on. CI #295: Commit bcac5bb pushed by Julian
1m 54s main
main
1m 54s