Skip to content

Actions: kaleidawave/mathematics

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
11 workflow runs
11 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add integers Check #13: Pull request #4 synchronize by kaleidawave
June 9, 2025 20:54 30s integers
integers
June 9, 2025 20:54 30s
Add integers Check #12: Pull request #4 synchronize by kaleidawave
May 28, 2025 10:58 22s integers
integers
May 28, 2025 10:58 22s
Number theory Check #11: Pull request #5 opened by kaleidawave
May 28, 2025 08:57 18s number-theory
number-theory
May 28, 2025 08:57 18s
Updates across Algebra, Naturals and Set Check #10: Commit e687f00 pushed by kaleidawave
May 28, 2025 08:11 27s main
main
May 28, 2025 08:11 27s
Remove integers from main Check #9: Commit d33ac05 pushed by kaleidawave
December 21, 2024 09:55 18s main
main
December 21, 2024 09:55 18s
Add integers Check #8: Pull request #4 opened by kaleidawave
November 26, 2024 19:35 24s integers
integers
November 26, 2024 19:35 24s
More algebra Check #7: Pull request #3 opened by kaleidawave
November 26, 2024 19:20 22s groups_with_macro_and_more_algebra
groups_with_macro_and_more_algebra
November 26, 2024 19:20 22s
Updates Check #6: Commit 8057823 pushed by kaleidawave
November 26, 2024 19:15 20s main
main
November 26, 2024 19:15 20s
Merge pull request #2 from kaleidawave/logic-and-more-set Check #5: Commit 321dd2c pushed by kaleidawave
November 26, 2024 18:55 21s main
main
November 26, 2024 18:55 21s
More logic and set theorem Check #4: Pull request #2 synchronize by kaleidawave
November 26, 2024 18:55 23s logic-and-more-set
logic-and-more-set
November 26, 2024 18:55 23s
More logic and set theorem Check #3: Pull request #2 opened by kaleidawave
July 25, 2024 10:49 23s logic-and-more-set
logic-and-more-set
July 25, 2024 10:49 23s