Skip to content

Actions: antmicro/protoplaster

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
487 workflow runs
487 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Generate and publish docs Generate and publish docs #24: Scheduled
January 3, 2024 00:19 2m 47s main
main
January 3, 2024 00:19 2m 47s
pages build and deployment pages-build-deployment #17: by github-pages bot
December 27, 2023 00:21 36s
December 27, 2023 00:21 36s
Generate and publish docs Generate and publish docs #23: Scheduled
December 27, 2023 00:19 2m 50s main
main
December 27, 2023 00:19 2m 50s
pages build and deployment pages-build-deployment #16: by github-pages bot
December 20, 2023 00:19 36s
December 20, 2023 00:19 36s
Generate and publish docs Generate and publish docs #22: Scheduled
December 20, 2023 00:16 3m 21s main
main
December 20, 2023 00:16 3m 21s
pages build and deployment pages-build-deployment #15: by github-pages bot
December 13, 2023 00:22 42s
December 13, 2023 00:22 42s
Generate and publish docs Generate and publish docs #21: Scheduled
December 13, 2023 00:19 3m 19s main
main
December 13, 2023 00:19 3m 19s
pages build and deployment pages-build-deployment #14: by github-pages bot
December 6, 2023 00:23 35s
December 6, 2023 00:23 35s
Generate and publish docs Generate and publish docs #20: Scheduled
December 6, 2023 00:20 3m 36s main
main
December 6, 2023 00:20 3m 36s
pages build and deployment pages-build-deployment #13: by github-pages bot
December 5, 2023 15:11 42s
December 5, 2023 15:11 42s
Merge branch '51947-update_github_ci' into 'main' General CI checks #40: Commit 3789f12 pushed by kbieganski
December 5, 2023 15:08 18m 39s main
main
December 5, 2023 15:08 18m 39s
Merge branch '51947-update_github_ci' into 'main' Code Quality Checks #43: Commit 3789f12 pushed by kbieganski
December 5, 2023 15:08 21s main
main
December 5, 2023 15:08 21s
Merge branch '51947-update_github_ci' into 'main' Generate and publish docs #19: Commit 3789f12 pushed by kbieganski
December 5, 2023 15:08 3m 26s main
main
December 5, 2023 15:08 3m 26s
pages build and deployment pages-build-deployment #12: by github-pages bot
November 29, 2023 00:23 36s
November 29, 2023 00:23 36s
Generate and publish docs Generate and publish docs #18: Scheduled
November 29, 2023 00:20 3m 30s main
main
November 29, 2023 00:20 3m 30s
pages build and deployment pages-build-deployment #11: by github-pages bot
November 22, 2023 00:23 39s
November 22, 2023 00:23 39s
Generate and publish docs Generate and publish docs #17: Scheduled
November 22, 2023 00:20 3m 14s main
main
November 22, 2023 00:20 3m 14s
pages build and deployment pages-build-deployment #10: by github-pages bot
November 15, 2023 00:22 40s
November 15, 2023 00:22 40s
Generate and publish docs Generate and publish docs #16: Scheduled
November 15, 2023 00:19 3m 28s main
main
November 15, 2023 00:19 3m 28s
pages build and deployment pages-build-deployment #9: by github-pages bot
November 8, 2023 00:21 30s
November 8, 2023 00:21 30s
Generate and publish docs Generate and publish docs #15: Scheduled
November 8, 2023 00:18 3m 3s main
main
November 8, 2023 00:18 3m 3s
pages build and deployment pages-build-deployment #8: by github-pages bot
November 1, 2023 00:52 36s
November 1, 2023 00:52 36s
Generate and publish docs Generate and publish docs #14: Scheduled
November 1, 2023 00:19 32m 24s main
main
November 1, 2023 00:19 32m 24s
pages build and deployment pages-build-deployment #7: by github-pages bot
October 25, 2023 00:23 34s
October 25, 2023 00:23 34s
Generate and publish docs Generate and publish docs #13: Scheduled
October 25, 2023 00:18 4m 34s main
main
October 25, 2023 00:18 4m 34s
ProTip! You can narrow down the results and go further in time using created:<2023-10-25 or the other filters available.