Skip to content

Activity

Showing most recent first

Merge pull request #258 from saraedum/addmul

Pull request merge
saraedumpushed 14 commits to master • 16c8dd9…57baaf9 • 
yesterday

Deploying to gh-pages from @ 16c8dd9 🚀

github-actions[bot]pushed 1 commit to gh-pages • 626d51f…7dc4e12 • 
14 days ago

Merge pull request #281 from saraedum/clang-lint

Pull request merge
saraedumpushed 2 commits to master • 22d0463…16c8dd9 • 
14 days ago

Bump the dependencies group across 1 directory with 2 updates

dependabot[bot]created dependabot/github_actions/dependencies-b4985ab6e3 • ce6af55 • 
24 days ago

Bump the dependencies group across 1 directory with 2 updates

dependabot[bot]created dependabot/github_actions/dependencies-05eb9276c9 • 52e5d2e • 
on Feb 17

Deleted branch

dependabot[bot]deleted dependabot/github_actions/dependencies-19372d7500 • 
on Dec 9, 2024

Bump JamesIves/github-pages-deploy-action

dependabot[bot]created dependabot/github_actions/dependencies-1ff874e811 • 744769b • 
on Dec 9, 2024

Bump JamesIves/github-pages-deploy-action in the dependencies group

dependabot[bot]created dependabot/github_actions/dependencies-19372d7500 • 3b52feb • 
on Dec 2, 2024

Deploying to gh-pages from @ 22d0463 🚀

github-actions[bot]pushed 1 commit to gh-pages • 7fb870a…626d51f • 
on Nov 27, 2024

Merge pull request #275 from saraedum/breathe

Pull request merge
saraedumpushed 15 commits to master • 9605580…22d0463 • 
on Nov 27, 2024

Deploying to gh-pages from @ 9605580 🚀

github-actions[bot]pushed 1 commit to gh-pages • 3f588b3…7fb870a • 
on Nov 22, 2024

Fix linkchecker when pages are not available on GitHub yet

saraedumpushed 1 commit to master • acdeef4…9605580 • 
on Nov 22, 2024

Fix invocation of doc deployment action

saraedumpushed 1 commit to master • 4197b19…acdeef4 • 
on Nov 22, 2024

Deploying to gh-pages from @ 4197b19 🚀

github-actions[bot]pushed 1 commit to gh-pages • 7b223ee…3f588b3 • 
on Nov 22, 2024

Deleted branch

dependabot[bot]deleted dependabot/github_actions/dependencies-6e7a347a57 • 
on Nov 22, 2024

Merge pull request #274 from flatsurf/dependabot/github_actions/depen…

Pull request merge
saraedumpushed 2 commits to master • a24ea06…4197b19 • 
on Nov 22, 2024

Bump the dependencies group with 2 updates

dependabot[bot]created dependabot/github_actions/dependencies-6e7a347a57 • 81dc0e6 • 
on Nov 21, 2024

Merge pull request #273 from saraedum/pixi

Pull request merge
saraedumpushed 76 commits to master • 071f554…a24ea06 • 
on Nov 21, 2024

Deploying to gh-pages from @ 071f554 🚀

github-actions[bot]pushed 1 commit to gh-pages • 3c32f35…7b223ee • 
on Feb 1, 2024

Merge pull request #271 from mkoeppe/readme_flint3

Pull request merge
saraedumpushed 2 commits to master • 53a9cf2…071f554 • 
on Feb 1, 2024

Deploying to gh-pages from @ 53a9cf2 🚀

github-actions[bot]pushed 1 commit to gh-pages • 8410b72…3c32f35 • 
on Jan 10, 2024

Updated CHANGELOG for 2.0.2

saraedumpushed 2 commits to master • 8d2cea8…53a9cf2 • 
on Jan 10, 2024

Deploying to gh-pages from @ 8d2cea8 🚀

github-actions[bot]pushed 1 commit to gh-pages • c09b363…8410b72 • 
on Jan 10, 2024

Merge pull request #270 from saraedum/sig2exc

Pull request merge
saraedumpushed 2 commits to master • aaab3c9…8d2cea8 • 
on Jan 10, 2024

Deploying to gh-pages from @ aaab3c9 🚀

github-actions[bot]pushed 1 commit to gh-pages • fe55e48…c09b363 • 
on Jan 9, 2024

Updated CHANGELOG for 2.0.1

saraedumpushed 2 commits to master • 1cf4cf4…aaab3c9 • 
on Jan 9, 2024

Deploying to gh-pages from @ 1cf4cf4 🚀

github-actions[bot]pushed 1 commit to gh-pages • 200b477…fe55e48 • 
on Jan 9, 2024

Merge pull request #260 from saraedum/intrusivesegfault

Pull request merge
saraedumpushed 7 commits to master • 14760be…1cf4cf4 • 
on Jan 9, 2024