Skip to content

Actions: cds-astro/a-FAIR-journey-for-astronomical-data

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
375 workflow runs
375 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment pages-build-deployment #133: by github-pages bot
November 2, 2023 09:46 37s gh-pages
gh-pages
November 2, 2023 09:46 37s
Bot: Comment on the Pull Request Bot: Comment on the Pull Request #102: completed by agcasu
November 2, 2023 09:45 33s
November 2, 2023 09:45 33s
Bot: Remove Temporary PR Branch Bot: Remove Temporary PR Branch #96: completed by agcasu
November 2, 2023 09:45 15s
November 2, 2023 09:45 15s
Merge pull request #99 from cds-astro/fix_old_url 01 Build and Deploy Site #135: Commit 67e7f89 pushed by agcasu
November 2, 2023 09:45 1m 31s main
main
November 2, 2023 09:45 1m 31s
Replace strasbg url + add https whenever possible Bot: Send Close Pull Request Signal #96: Pull request #99 closed by agcasu
November 2, 2023 09:45 11s fix_old_url
fix_old_url
November 2, 2023 09:45 11s
Replace strasbg url + add https whenever possible Receive Pull Request #102: Pull request #99 opened by agcasu
November 2, 2023 09:45 20s fix_old_url
fix_old_url
November 2, 2023 09:45 20s
Replace strasbg url + add https whenever possible Pull Request Preflight Check #102: Pull request #99 opened by agcasu
November 2, 2023 09:45 25s
November 2, 2023 09:45 25s
Bot: Comment on the Pull Request Bot: Comment on the Pull Request #101: completed by agcasu
October 31, 2023 14:53 30s
October 31, 2023 14:53 30s
pages build and deployment pages-build-deployment #132: by github-pages bot
October 31, 2023 14:53 34s gh-pages
gh-pages
October 31, 2023 14:53 34s
Bot: Remove Temporary PR Branch Bot: Remove Temporary PR Branch #95: completed by agcasu
October 31, 2023 14:52 16s
October 31, 2023 14:52 16s
Merge pull request #98 from cds-astro/edit-cats-url 01 Build and Deploy Site #134: Commit b82e778 pushed by agcasu
October 31, 2023 14:52 1m 24s main
main
October 31, 2023 14:52 1m 24s
Change cats url for index page Bot: Send Close Pull Request Signal #95: Pull request #98 closed by agcasu
October 31, 2023 14:52 12s edit-cats-url
edit-cats-url
October 31, 2023 14:52 12s
Change cats url for index page Receive Pull Request #101: Pull request #98 opened by agcasu
October 31, 2023 14:51 1m 55s edit-cats-url
edit-cats-url
October 31, 2023 14:51 1m 55s
Change cats url for index page Pull Request Preflight Check #101: Pull request #98 opened by agcasu
October 31, 2023 14:51 16s
October 31, 2023 14:51 16s
pages build and deployment pages-build-deployment #131: by github-pages bot
October 31, 2023 14:47 37s gh-pages
gh-pages
October 31, 2023 14:47 37s
Bot: Comment on the Pull Request Bot: Comment on the Pull Request #100: completed by agcasu
October 31, 2023 14:46 24s
October 31, 2023 14:46 24s
Bot: Remove Temporary PR Branch Bot: Remove Temporary PR Branch #94: completed by agcasu
October 31, 2023 14:46 14s
October 31, 2023 14:46 14s
Merge pull request #97 from cds-astro/edit-cats-url 01 Build and Deploy Site #133: Commit 726d494 pushed by agcasu
October 31, 2023 14:46 1m 46s main
main
October 31, 2023 14:46 1m 46s
Edit cats url Bot: Send Close Pull Request Signal #94: Pull request #97 closed by agcasu
October 31, 2023 14:46 15s edit-cats-url
edit-cats-url
October 31, 2023 14:46 15s
Edit cats url Receive Pull Request #100: Pull request #97 opened by agcasu
October 31, 2023 14:45 1m 35s edit-cats-url
edit-cats-url
October 31, 2023 14:45 1m 35s
Edit cats url Pull Request Preflight Check #100: Pull request #97 opened by agcasu
October 31, 2023 14:45 18s
October 31, 2023 14:45 18s
pages build and deployment pages-build-deployment #130: by github-pages bot
October 31, 2023 12:03 36s gh-pages
gh-pages
October 31, 2023 12:03 36s
Bot: Comment on the Pull Request Bot: Comment on the Pull Request #99: completed by agcasu
October 31, 2023 12:01 34s
October 31, 2023 12:01 34s
Bot: Remove Temporary PR Branch Bot: Remove Temporary PR Branch #93: completed by agcasu
October 31, 2023 12:01 14s
October 31, 2023 12:01 14s
Change order logos Bot: Send Close Pull Request Signal #93: Pull request #96 closed by agcasu
October 31, 2023 12:01 12s change_life_cycle
change_life_cycle
October 31, 2023 12:01 12s
ProTip! You can narrow down the results and go further in time using created:<2023-10-31 or the other filters available.