Skip to content

Actions: antmicro/rdfm

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
265 workflow runs
265 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[#52516] android-client: Handle unreachable network during app startup Generate and publish docs #21: Commit 97904b4 pushed by antmicrobot
December 13, 2023 13:13 1m 43s main
main
December 13, 2023 13:13 1m 43s
pages build and deployment pages-build-deployment #19: by github-pages bot
December 13, 2023 12:34 36s gh-pages
gh-pages
December 13, 2023 12:34 36s
[#52516] android-client: Increase WebSocket ping timeout Generate and publish docs #20: Commit 20fce9a pushed by antmicrobot
December 13, 2023 12:32 1m 48s main
main
December 13, 2023 12:32 1m 48s
pages build and deployment pages-build-deployment #18: by github-pages bot
December 13, 2023 07:06 35s gh-pages
gh-pages
December 13, 2023 07:06 35s
[#52341] all: Correct and unify all Python versions to 3.11 Generate and publish docs #19: Commit 6714ce0 pushed by antmicrobot
December 13, 2023 07:04 3m 14s main
main
December 13, 2023 07:04 3m 14s
pages build and deployment pages-build-deployment #17: by github-pages bot
December 13, 2023 00:18 34s gh-pages
gh-pages
December 13, 2023 00:18 34s
Generate and publish docs Generate and publish docs #18: Scheduled
December 13, 2023 00:16 1m 26s main
main
December 13, 2023 00:16 1m 26s
pages build and deployment pages-build-deployment #16: by github-pages bot
December 8, 2023 10:25 39s gh-pages
gh-pages
December 8, 2023 10:25 39s
[#52317] android-client: Add exponential backoff to management WS rec… Generate and publish docs #17: Commit 7fcb4c1 pushed by antmicrobot
December 8, 2023 10:23 1m 33s main
main
December 8, 2023 10:23 1m 33s
pages build and deployment pages-build-deployment #15: by github-pages bot
December 8, 2023 10:17 36s gh-pages
gh-pages
December 8, 2023 10:17 36s
[#51882] documentation: Android app HTTPS configuration Generate and publish docs #16: Commit 8bc096c pushed by antmicrobot
December 8, 2023 10:16 1m 1s main
main
December 8, 2023 10:16 1m 1s
pages build and deployment pages-build-deployment #14: by github-pages bot
December 6, 2023 11:56 34s gh-pages
gh-pages
December 6, 2023 11:56 34s
[#51747] documentation: Update documentation on management WebSocket Generate and publish docs #15: Commit 7948cff pushed by antmicrobot
December 6, 2023 11:54 1m 33s main
main
December 6, 2023 11:54 1m 33s
pages build and deployment pages-build-deployment #13: by github-pages bot
December 6, 2023 11:39 34s gh-pages
gh-pages
December 6, 2023 11:39 34s
[#51747] server: Update Docker deployment files Generate and publish docs #14: Commit 554e943 pushed by antmicrobot
December 6, 2023 11:38 1m 5s main
main
December 6, 2023 11:38 1m 5s
pages build and deployment pages-build-deployment #12: by github-pages bot
December 6, 2023 00:18 59s gh-pages
gh-pages
December 6, 2023 00:18 59s
Generate and publish docs Generate and publish docs #13: Scheduled
December 6, 2023 00:16 1m 28s main
main
December 6, 2023 00:16 1m 28s
pages build and deployment pages-build-deployment #11: by github-pages bot
December 5, 2023 09:26 31s gh-pages
gh-pages
December 5, 2023 09:26 31s
[#51522] linux-client: Mark gorilla/websocket dependency as explicit Generate and publish docs #12: Commit 4b964c5 pushed by antmicrobot
December 5, 2023 09:25 1m 11s main
main
December 5, 2023 09:25 1m 11s
pages build and deployment pages-build-deployment #10: by github-pages bot
November 29, 2023 00:18 33s gh-pages
gh-pages
November 29, 2023 00:18 33s
Generate and publish docs Generate and publish docs #11: Scheduled
November 29, 2023 00:16 1m 7s main
main
November 29, 2023 00:16 1m 7s
pages build and deployment pages-build-deployment #9: by github-pages bot
November 22, 2023 00:18 34s gh-pages
gh-pages
November 22, 2023 00:18 34s
Generate and publish docs Generate and publish docs #10: Scheduled
November 22, 2023 00:17 1m 21s main
main
November 22, 2023 00:17 1m 21s
pages build and deployment pages-build-deployment #8: by github-pages bot
November 15, 2023 00:18 33s gh-pages
gh-pages
November 15, 2023 00:18 33s
Generate and publish docs Generate and publish docs #9: Scheduled
November 15, 2023 00:16 1m 51s main
main
November 15, 2023 00:16 1m 51s
ProTip! You can narrow down the results and go further in time using created:<2023-11-15 or the other filters available.