Skip to content

Actions: sympy/sympy.github.com

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
23 workflow runs
23 workflow runs
Event

Filter by event

Status

Filter by status

Branch
Actor

Filter by actor

pages build and deployment
pages-build-deployment #15: by github-pages bot
November 21, 2023 19:55 44s
November 21, 2023 19:55 44s
Merge pull request #195 from sympy/broken-links
Build #18: Commit 24fbc64 pushed by aktech
November 21, 2023 19:54 19s sources
November 21, 2023 19:54 19s
Fix broken link
Build #17: Pull request #195 opened by aktech
November 21, 2023 19:54 22s broken-links
November 21, 2023 19:54 22s
pages build and deployment
pages-build-deployment #14: by github-pages bot
November 21, 2023 19:38 40s
November 21, 2023 19:38 40s
Merge pull request #194 from isumitjha/spyder-console-typo-fix
Build #16: Commit f2813cb pushed by aktech
November 21, 2023 19:38 22s sources
November 21, 2023 19:38 22s
pages build and deployment
pages-build-deployment #13: by github-pages bot
October 5, 2023 15:02 1m 5s
October 5, 2023 15:02 1m 5s
Merge pull request #193 from mloubout/sources
Build #14: Commit 56e5658 pushed by oscarbenjamin
October 5, 2023 15:02 29s sources
October 5, 2023 15:02 29s
Add devito to featured projects
Build #13: Pull request #193 opened by mloubout
October 5, 2023 14:56 30s mloubout:sources
October 5, 2023 14:56 30s
pages build and deployment
pages-build-deployment #12: by github-pages bot
August 25, 2023 12:10 1m 8s
August 25, 2023 12:10 1m 8s
Merge pull request #191 from sympy/news-for-112
Build #11: Commit dda5ae6 pushed by aktech
August 25, 2023 12:09 24s sources
August 25, 2023 12:09 24s
Add News item for 1.12 release
Build #10: Pull request #191 opened by aktech
August 23, 2023 11:52 19s news-for-112
August 23, 2023 11:52 19s
pages build and deployment
pages-build-deployment #11: by github-pages bot
August 23, 2023 11:36 44s
August 23, 2023 11:36 44s
Merge pull request #190 from aktech/fix-static-path
Build #9: Commit 1aa4096 pushed by aktech
August 23, 2023 11:35 21s sources
August 23, 2023 11:35 21s
Fix static path for gh pages deployment
Build #8: Pull request #190 synchronize by aktech
August 23, 2023 11:35 21s aktech:fix-static-path
August 23, 2023 11:35 21s
Fix static path for gh pages deployment
Build #7: Pull request #190 by aktech
August 23, 2023 11:33 Failure aktech:fix-static-path
August 23, 2023 11:33 Failure
Fix static path for gh pages deployment
Build #6: Pull request #190 opened by aktech
August 23, 2023 11:32 23s aktech:fix-static-path
August 23, 2023 11:32 23s
pages build and deployment
pages-build-deployment #10: by asmeurer
July 21, 2023 18:25 47s
July 21, 2023 18:25 47s
pages build and deployment
pages-build-deployment #9: by github-pages bot
July 21, 2023 18:23 51s
July 21, 2023 18:23 51s
Merge pull request #187 from aktech/build-github-actions
Build #4: Commit 16e9672 pushed by asmeurer
July 21, 2023 18:23 28s sources
July 21, 2023 18:23 28s