Skip to content

Actions: rigortype/rigor

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
27 workflow runs
27 workflow runs

Filter by Workflow

⌥ + click/return to exclude

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
Bump up version to 0.0.4 CI #27: Commit cb43ca4 pushed by zonuexe
54s master
master
54s
Add tool/scaffold_builtin_catalog.rb to automate the mechanical 70 % … CI #26: Commit ae205a7 pushed by zonuexe
58s master
master
58s
Document the rigor:v1:param: call-site slice in the resume bookmarks CI #25: Commit c270870 pushed by zonuexe
58s master
master
58s
Bind the type-of CLI kebab-case display contract with regression specs CI #24: Commit 1bef77b pushed by zonuexe
51s master
master
51s
Document the base-N int-string predicate additions CI #23: Commit 86e3d1f pushed by zonuexe
53s master
master
53s
Document the Type::Refined predicate-subset slice CI #22: Commit b9f41fa pushed by zonuexe
50s master
master
50s
Bump up version to 0.0.3 CI #21: Commit d912cf8 pushed by zonuexe
53s master
master
53s
inference: introduce Type::Difference carrier (OQ3 point-removal half) CI #20: Commit 41133b2 pushed by zonuexe
57s master
master
57s
docs(adr-3): record working decisions for OQ1, OQ2, OQ3 CI #19: Commit 195dc08 pushed by zonuexe
57s master
master
57s
docs(adr-3): add OQ3 — refinement carrier strategy for non-empty-stri… CI #18: Commit 6d2710f pushed by zonuexe
49s master
master
49s
config: gate platform-specific File path folds behind `fold_platform_… CI #17: Commit 4fd2a43 pushed by zonuexe
48s master
master
48s
docs: adopt the robustness principle (Postel's law) for Rigor-authore… CI #16: Commit ecd5757 pushed by zonuexe
55s master
master
55s
inference: elide dead branch when if/unless predicate is provably tru… CI #15: Commit 0e59402 pushed by zonuexe
49s master
master
49s
inference: narrow Integer locals through positive?/negative?/zero?/no… CI #14: Commit bb1f1fc pushed by zonuexe
50s master
master
50s
inference: narrow Integer locals through <, <=, >, >= predicates CI #13: Commit 8a33403 pushed by zonuexe
47s master
master
47s
inference: fold Integer#divmod / Float#divmod to Tuple[Constant[q], C… CI #12: Commit ec60789 pushed by zonuexe
48s master
master
48s
inference: extend IntegerRange folding to *, /, %, even?/odd?, bit_le… CI #11: Commit 88c43dd pushed by zonuexe
54s master
master
54s
Add references/ruby submodule for built-in method catalog extraction CI #10: Commit 4084dd1 pushed by zonuexe
40s master
master
40s
Bump up version to 0.0.2 CI #9: Commit a7e2c52 pushed by zonuexe
46s master
master
46s
docs: record self-check false positives as v0.0.3+ engine work CI #8: Commit a36c5bd pushed by zonuexe
41s master
master
41s
Merge pull request #3 from rigortype/improve/integration-tests CI #7: Commit 968a60a pushed by zonuexe
40s master
master
40s
Improve integration tests CI #6: Pull request #3 opened by zonuexe
43s improve/integration-tests
improve/integration-tests
43s
Harden submodule handling against parent-side breakage CI #5: Commit b737019 pushed by zonuexe
34s master
master
34s
Merge pull request #2 from rigortype/add/github-actions CI #4: Commit dd235a2 pushed by zonuexe
52s master
master
52s
Add GitHub Actions CI CI #3: Pull request #2 synchronize by zonuexe
42s add/github-actions
add/github-actions
42s