Skip to content

Actions: davidamaro/GroupFunctions.jl

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
72 workflow runs
72 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: add tagbot workflow. CI #3: Commit 2459246 pushed by davidamaro
December 30, 2024 04:02 1m 49s master
master
December 30, 2024 04:02 1m 49s
pages build and deployment pages-build-deployment #11: by github-pages bot
December 29, 2024 03:38 39s gh-pages
gh-pages
December 29, 2024 03:38 39s
feat: dark logo and other misc improvements to the site. CI #2: Commit 6aa87f4 pushed by davidamaro
December 29, 2024 03:37 1m 36s master
master
December 29, 2024 03:37 1m 36s
feat: dark logo and other misc improvements to the site. Documentation #8: Commit 6aa87f4 pushed by davidamaro
December 29, 2024 03:37 51s master
master
December 29, 2024 03:37 51s
pages build and deployment pages-build-deployment #10: by github-pages bot
December 29, 2024 02:01 39s gh-pages
gh-pages
December 29, 2024 02:01 39s
another workflow for CI Documentation #7: Commit bd811d9 pushed by davidamaro
December 29, 2024 02:01 1m 2s master
master
December 29, 2024 02:01 1m 2s
another workflow for CI CI #1: Commit bd811d9 pushed by davidamaro
December 29, 2024 02:01 4m 29s master
master
December 29, 2024 02:01 4m 29s
pages build and deployment pages-build-deployment #9: by github-pages bot
December 28, 2024 07:03 41s gh-pages
gh-pages
December 28, 2024 07:03 41s
More documentation. Documentation #6: Commit 1c5efc0 pushed by davidamaro
December 28, 2024 07:02 57s master
master
December 28, 2024 07:02 57s
pages build and deployment pages-build-deployment #8: by github-pages bot
December 28, 2024 03:33 38s gh-pages
gh-pages
December 28, 2024 03:33 38s
More documentation. Documentation #5: Commit e720c99 pushed by davidamaro
December 28, 2024 03:33 52s master
master
December 28, 2024 03:33 52s
pages build and deployment pages-build-deployment #7: by github-pages bot
December 27, 2024 16:57 36s gh-pages
gh-pages
December 27, 2024 16:57 36s
Adding badge to documentation. Documentation #4: Commit eae0249 pushed by davidamaro
December 27, 2024 16:56 55s master
master
December 27, 2024 16:56 55s
pages build and deployment pages-build-deployment #6: by github-pages bot
December 27, 2024 16:47 41s gh-pages
gh-pages
December 27, 2024 16:47 41s
Improving documentation appearance. Documentation #3: Commit 5d8e21b pushed by davidamaro
December 27, 2024 16:46 1m 13s master
master
December 27, 2024 16:46 1m 13s
pages build and deployment pages-build-deployment #5: by davidamaro
December 27, 2024 06:24 43s gh-pages
gh-pages
December 27, 2024 06:24 43s
pages build and deployment pages-build-deployment #4: by davidamaro
December 27, 2024 06:23 26s gh-pages
gh-pages
December 27, 2024 06:23 26s
pages build and deployment pages-build-deployment #3: by davidamaro
December 27, 2024 06:21 46s master
master
December 27, 2024 06:21 46s
oops Documentation #2: Commit 9d02f1b pushed by davidamaro
December 27, 2024 05:26 3m 22s master
master
December 27, 2024 05:26 3m 22s
pages build and deployment pages-build-deployment #2: by davidamaro
December 27, 2024 05:26 38s master
master
December 27, 2024 05:26 38s
Starting deplying documentation. Documentation #1: Commit f22f54e pushed by davidamaro
December 27, 2024 05:21 2m 58s master
master
December 27, 2024 05:21 2m 58s
pages build and deployment pages-build-deployment #1: by davidamaro
December 27, 2024 05:21 41s master
master
December 27, 2024 05:21 41s