Skip to content

Actions: rvarago/cpp_refined

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
30 workflow runs
30 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add equality comparison CI #30: Commit 47fffe6 pushed by rvarago
1m 3s main
main
1m 3s
Add traits for richer-types CI #29: Pull request #4 synchronize by rvarago
1m 3s feat/traits
feat/traits
1m 3s
Add traits for richer-types CI #28: Pull request #4 opened by rvarago
1m 10s feat/traits
feat/traits
1m 10s
Extract error policy into its own file CI #27: Commit 67987d5 pushed by rvarago
1m 7s main
main
1m 7s
Enforce format/lint on checks CI #26: Commit 2bcae75 pushed by rvarago
1m 12s main
main
1m 12s
Enforce format/lint on checks CI #25: Commit 71c8faf pushed by rvarago
58s main
main
58s
Enforce format/lint on checks CI #24: Commit 925027e pushed by rvarago
1m 1s main
main
1m 1s
Don't spell unnecessary class scope CI #23: Commit 7bbfb2f pushed by rvarago
1m 1s main
main
1m 1s
Rename check to verify CI #22: Commit 50cf6cb pushed by rvarago
1m 3s main
main
1m 3s
Remove preds::unconstrained CI #21: Commit 2017cf3 pushed by rvarago
1m 8s main
main
1m 8s
Reword doc to clarify base constraints CI #20: Commit b31444b pushed by rvarago
1m 3s main
main
1m 3s
Constrain refinement's Bases::predicate_type CI #19: Commit fe1571b pushed by rvarago
1m 0s main
main
1m 0s
Hide value behind accessors to preclude mutations CI #18: Commit 7f1acc8 pushed by rvarago
1m 2s main
main
1m 2s
Add missing doc on Base conversion CI #17: Commit 4058a2b pushed by rvarago
1m 2s main
main
1m 2s
Allow "sub-type"-like conversions between refinements (#3) CI #16: Commit f555cbc pushed by rvarago
1m 7s main
main
1m 7s
Allow "sub-type"-like conversions between refinements CI #15: Pull request #3 opened by rvarago
1m 11s feat/simulate-safe-subtyping
feat/simulate-safe-subtyping
1m 11s
Accept predicates as non-type templates CI #14: Commit 339583d pushed by rvarago
1m 14s main
main
1m 14s
Add test for refinements with different predicates CI #13: Commit 5a8d973 pushed by rvarago
1m 4s main
main
1m 4s
Move templates from error policy into its methods (#2) CI #12: Commit 1757449 pushed by rvarago
1m 16s main
main
1m 16s
Move templates from error policy into its methods CI #11: Pull request #2 opened by rvarago
1m 3s feat/error-policy-less-verbose
feat/error-policy-less-verbose
1m 3s
Support customisable error policies (#1) CI #10: Commit 1eefe20 pushed by rvarago
1m 18s main
main
1m 18s
Support customisable error policies CI #9: Pull request #1 synchronize by rvarago
1m 4s feat/error-policy
feat/error-policy
1m 4s
Support customisable error policies CI #8: Pull request #1 synchronize by rvarago
1m 4s feat/error-policy
feat/error-policy
1m 4s
Support customisable error policies CI #7: Pull request #1 synchronize by rvarago
1m 19s feat/error-policy
feat/error-policy
1m 19s
Add basic impl with refinement::make smart ctor CI #6: Commit 321530b pushed by rvarago
1m 15s main
main
1m 15s