Skip to content

Actions: kaleidawave/mathematics

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
9 workflow runs
9 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Possible alternative group representation Check #2: Pull request #1 opened by kaleidawave
March 3, 2024 10:51 20s alternative-group-representation
alternative-group-representation
March 3, 2024 10:51 20s
Some more logic things (& fix CI) Check #1: Commit eb8d496 pushed by kaleidawave
March 3, 2024 10:46 20s main
main
March 3, 2024 10:46 20s