Skip to content

Actions: antmicro/rdfm

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
273 workflow runs
273 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment
pages-build-deployment #132: by github-pages bot
December 25, 2024 00:24 25s gh-pages
December 25, 2024 00:24 25s
Generate and publish docs
Generate and publish docs #141: Scheduled
December 25, 2024 00:21 3m 3s main
December 25, 2024 00:21 3m 3s
pages build and deployment
pages-build-deployment #131: by github-pages bot
December 19, 2024 16:38 35s gh-pages
December 19, 2024 16:38 35s
[#70322] frontend: extend resources table wrapper when dropdown is pr…
Generate and publish docs #140: Commit a825553 pushed by antmicrobot
December 19, 2024 16:34 3m 44s main
December 19, 2024 16:34 3m 44s
pages build and deployment
pages-build-deployment #130: by github-pages bot
December 18, 2024 10:48 33s gh-pages
December 18, 2024 10:48 33s
[#70187] CI: Allow build jobs per commit
Generate and publish docs #139: Commit f5a8df5 pushed by antmicrobot
December 18, 2024 10:46 2m 54s main
December 18, 2024 10:46 2m 54s
pages build and deployment
pages-build-deployment #129: by github-pages bot
December 18, 2024 00:26 35s gh-pages
December 18, 2024 00:26 35s
Generate and publish docs
Generate and publish docs #138: Scheduled
December 18, 2024 00:22 3m 32s main
December 18, 2024 00:22 3m 32s
pages build and deployment
pages-build-deployment #128: by github-pages bot
December 13, 2024 14:24 29s gh-pages
December 13, 2024 14:24 29s
[#70187] frontend: implement download dropdown for packages
Generate and publish docs #137: Commit 47da626 pushed by antmicrobot
December 13, 2024 14:21 2m 50s main
December 13, 2024 14:21 2m 50s
pages build and deployment
pages-build-deployment #127: by github-pages bot
December 13, 2024 12:12 27s gh-pages
December 13, 2024 12:12 27s
[#69794] frontend: Improve UI style (margins/colors/font)
Generate and publish docs #136: Commit 97b2647 pushed by antmicrobot
December 13, 2024 12:08 3m 49s main
December 13, 2024 12:08 3m 49s
pages build and deployment
pages-build-deployment #126: by github-pages bot
December 11, 2024 14:47 59s gh-pages
December 11, 2024 14:47 59s
[#69532] frontend: display rdfm.software.version for registered devices
Generate and publish docs #135: Commit 3c3a88e pushed by antmicrobot
December 11, 2024 14:44 3m 17s main
December 11, 2024 14:44 3m 17s
pages build and deployment
pages-build-deployment #125: by github-pages bot
December 11, 2024 14:38 31s gh-pages
December 11, 2024 14:38 31s
[#70019] frontend: Add more details to packages/devices lists in groups
Generate and publish docs #134: Commit f730d15 pushed by antmicrobot
December 11, 2024 14:35 4m 4s main
December 11, 2024 14:35 4m 4s
pages build and deployment
pages-build-deployment #124: by github-pages bot
December 11, 2024 00:27 28s gh-pages
December 11, 2024 00:27 28s
Generate and publish docs
Generate and publish docs #133: Scheduled
December 11, 2024 00:23 3m 41s main
December 11, 2024 00:23 3m 41s
pages build and deployment
pages-build-deployment #123: by github-pages bot
December 6, 2024 20:08 24s gh-pages
December 6, 2024 20:08 24s
[#69479] frontend: make group dashboard more responsive
Generate and publish docs #132: Commit 3fa6a9f pushed by antmicrobot
December 6, 2024 20:05 2m 55s main
December 6, 2024 20:05 2m 55s
pages build and deployment
pages-build-deployment #122: by github-pages bot
December 6, 2024 16:56 28s gh-pages
December 6, 2024 16:56 28s
[#69900] frontend: make devices/packages appear next to each other in…
Generate and publish docs #131: Commit 27e0b8b pushed by antmicrobot
December 6, 2024 16:52 3m 31s main
December 6, 2024 16:52 3m 31s
pages build and deployment
pages-build-deployment #121: by github-pages bot
December 6, 2024 16:42 32s gh-pages
December 6, 2024 16:42 32s
[#69247] frontend: Introduce option to specify update policy for an R…
Generate and publish docs #130: Commit 0314bcd pushed by antmicrobot
December 6, 2024 16:38 3m 39s main
December 6, 2024 16:38 3m 39s
pages build and deployment
pages-build-deployment #120: by github-pages bot
December 4, 2024 15:48 42s gh-pages
December 4, 2024 15:48 42s