Skip to content

Actions: RobinKa/egga

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
25 workflow runs
25 workflow runs
Event

Filter by event

Loading
Status

Filter by status

Loading
Branch
Actor

Filter by actor

Loading
0.1.9, update readme with new functions CI #25: Commit 8020a08 pushed by RobinKa
October 11, 2023 22:31 1m 59s master
master
October 11, 2023 22:31 1m 59s
Merge pull request #2 from RobinKa/robin/general-inverse CI #24: Commit 0eecb0b pushed by RobinKa
October 11, 2023 22:23 1m 49s master
master
October 11, 2023 22:23 1m 49s
Add grade involution, clifford conjugation, general inverses CI #23: Pull request #2 synchronize by RobinKa
October 11, 2023 21:52 1m 45s robin/general-inverse
robin/general-inverse
October 11, 2023 21:52 1m 45s
Add grade involution, clifford conjugation, general inverses CI #22: Pull request #2 synchronize by RobinKa
October 11, 2023 19:26 1m 31s robin/general-inverse
robin/general-inverse
October 11, 2023 19:26 1m 31s
Add grade involution, clifford conjugation, general inverses CI #21: Pull request #2 synchronize by RobinKa
October 4, 2023 22:57 1m 52s robin/general-inverse
robin/general-inverse
October 4, 2023 22:57 1m 52s
Add grade involution, clifford conjugation, general inverses CI #20: Pull request #2 opened by RobinKa
October 4, 2023 21:28 1m 47s robin/general-inverse
robin/general-inverse
October 4, 2023 21:28 1m 47s
CI CI #19: by RobinKa
October 4, 2023 14:22 1m 56s master
master
October 4, 2023 14:22 1m 56s
Upgrade to egglog 0.7.0 CI #18: Pull request #1 synchronize by RobinKa
October 4, 2023 14:22 1m 51s robin/egglog-0.6.0
robin/egglog-0.6.0
October 4, 2023 14:22 1m 51s
Upgrade to egglog 0.7.0 CI #17: Pull request #1 synchronize by RobinKa
October 4, 2023 14:19 1m 30s robin/egglog-0.6.0
robin/egglog-0.6.0
October 4, 2023 14:19 1m 30s
unify ci steps for better caching, fix advanced_simplification exampl… CI #16: Commit c6b203e pushed by RobinKa
September 30, 2023 09:49 1m 33s master
master
September 30, 2023 09:49 1m 33s
0.1.7, add exp(x)exp(y) = exp(x+y) rule CI #15: Commit 0aa851f pushed by RobinKa
September 30, 2023 09:40 2m 3s master
master
September 30, 2023 09:40 2m 3s
diff exp, 0.1.6 CI #14: Commit 03bc9fb pushed by RobinKa
September 30, 2023 07:32 1m 52s master
master
September 30, 2023 07:32 1m 52s
0.1.5 CI #13: Commit 9527d71 pushed by RobinKa
September 29, 2023 22:15 2m 43s master
master
September 29, 2023 22:15 2m 43s
Upgrade to egglog 0.7.0 CI #12: Pull request #1 opened by RobinKa
September 29, 2023 12:29 1m 38s robin/egglog-0.6.0
robin/egglog-0.6.0
September 29, 2023 12:29 1m 38s
0.1.4, add contradiction tests (but skip by default), fix mxi_grades … CI #11: Commit 1ad9f60 pushed by RobinKa
September 29, 2023 00:20 2m 51s master
master
September 29, 2023 00:20 2m 51s
add pypi badge CI #10: Commit 8900723 pushed by RobinKa
September 28, 2023 21:55 2m 37s master
master
September 28, 2023 21:55 2m 37s
0.1.3 CI #9: Commit f78383d pushed by RobinKa
September 28, 2023 21:38 2m 27s master
master
September 28, 2023 21:38 2m 27s
0.1.3, fix some contradictions because of 0.0 != -0.0, fix variable c… CI #8: Commit e970a0a pushed by RobinKa
September 28, 2023 21:38 31s master
master
September 28, 2023 21:38 31s
fix examples test CI #7: Commit 9f05b69 pushed by RobinKa
September 28, 2023 16:52 2m 24s master
master
September 28, 2023 16:52 2m 24s
version 0.1.2, fix python 3.8 type compat CI #6: Commit df24297 pushed by RobinKa
September 28, 2023 16:45 3m 3s master
master
September 28, 2023 16:45 3m 3s
fix readme CI #5: Commit 9cda92c pushed by RobinKa
September 28, 2023 01:32 3m 13s master
master
September 28, 2023 01:32 3m 13s
0.1.1, update readme, add on_step to utils, add advanced simplificati… CI #4: Commit ee24f06 pushed by RobinKa
September 28, 2023 01:31 1m 13s master
master
September 28, 2023 01:31 1m 13s
fix publish arg, only publish when tests succeed CI #3: Commit 5346a7c pushed by RobinKa
September 28, 2023 00:49 2m 33s master
master
September 28, 2023 00:49 2m 33s
fix publish command CI #2: Commit 0031b6e pushed by RobinKa
September 28, 2023 00:44 1m 40s master
master
September 28, 2023 00:44 1m 40s
initial CI #1: Commit 8df5537 pushed by RobinKa
September 28, 2023 00:40 1m 18s master
master
September 28, 2023 00:40 1m 18s