Skip to content

Actions: odtp-org/odtp-manuals

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
44 workflow runs
44 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment
pages-build-deployment #22: by github-pages bot
November 15, 2024 10:49 29s
November 15, 2024 10:49 29s
Merge pull request #52 from odtp-org/2024-11-corrections
deployment #22: Commit 5275f47 pushed by caviri
November 15, 2024 10:49 25s main
November 15, 2024 10:49 25s
pages build and deployment
pages-build-deployment #21: by github-pages bot
November 14, 2024 12:41 32s
November 14, 2024 12:41 32s
Merge pull request #48 from odtp-org/cli-v.0.4.0
deployment #21: Commit 86667ff pushed by caviri
November 14, 2024 12:40 2m 49s main
November 14, 2024 12:40 2m 49s
pages build and deployment
pages-build-deployment #20: by github-pages bot
October 17, 2024 17:18 37s
October 17, 2024 17:18 37s
fix tutorial links (#49)
deployment #20: Commit 8a0a53d pushed by sabinem
October 17, 2024 17:17 2m 42s main
October 17, 2024 17:17 2m 42s
pages build and deployment
pages-build-deployment #19: by github-pages bot
July 3, 2024 17:34 24s
July 3, 2024 17:34 24s
July 3, 2024 17:33 32s
pages build and deployment
pages-build-deployment #18: by github-pages bot
July 3, 2024 15:53 26s
July 3, 2024 15:53 26s
chore(tutorial: execution page): update gui tutorial (#46)
deployment #18: Commit e0c36c4 pushed by sabinem
July 3, 2024 15:53 27s main
July 3, 2024 15:53 27s
pages build and deployment
pages-build-deployment #17: by github-pages bot
July 3, 2024 14:07 35s
July 3, 2024 14:07 35s
chore(tutorial): update tutorial to the latest version of odtp (#45)
deployment #17: Commit 29329c3 pushed by sabinem
July 3, 2024 14:06 53s main
July 3, 2024 14:06 53s
pages build and deployment
pages-build-deployment #16: by github-pages bot
July 3, 2024 14:02 29s
July 3, 2024 14:02 29s
July 3, 2024 14:02 30s
pages build and deployment
pages-build-deployment #15: by github-pages bot
July 3, 2024 12:34 28s
July 3, 2024 12:34 28s
chore(install with docker compose): update tutorial (#43)
deployment #15: Commit 377d22a pushed by sabinem
July 3, 2024 12:34 30s main
July 3, 2024 12:34 30s
pages build and deployment
pages-build-deployment #14: by github-pages bot
June 19, 2024 14:37 31s
June 19, 2024 14:37 31s
Merge pull request #40 from odtp-org/docker-compose-correction
deployment #14: Commit 2303fb0 pushed by caviri
June 19, 2024 14:37 44s main
June 19, 2024 14:37 44s
pages build and deployment
pages-build-deployment #13: by github-pages bot
June 17, 2024 09:45 27s
June 17, 2024 09:45 27s
docs(components/develop.md): correct and improve tutorial (#38)
deployment #13: Commit ffa4447 pushed by sabinem
June 17, 2024 09:44 32s main
June 17, 2024 09:44 32s
pages build and deployment
pages-build-deployment #12: by github-pages bot
May 22, 2024 04:42 24s
May 22, 2024 04:42 24s
Merge pull request #37 from odtp-org/update-use-cases
deployment #12: Commit d855a0f pushed by sabinem
May 22, 2024 04:41 30s main
May 22, 2024 04:41 30s
pages build and deployment
pages-build-deployment #11: by github-pages bot
May 7, 2024 00:40 34s
May 7, 2024 00:40 34s
Merge pull request #36 from odtp-org/repair-github-action
deployment #11: Commit 751cd71 pushed by sabinem
May 7, 2024 00:39 34s main
May 7, 2024 00:39 34s
Merge pull request #35 from odtp-org/develop
deployment #10: Commit 83da450 pushed by sabinem
May 7, 2024 00:33 23s main
May 7, 2024 00:33 23s