Skip to content

Actions: RoboCupAtHome/RuleBook

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
466 workflow runs
466 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge everything back into the rulebook
CI #619: Pull request #917 synchronize by LeroyR
November 11, 2024 14:35 2m 58s merge_orga
November 11, 2024 14:35 2m 58s
merge all docs back into rulebook
CI #618: Commit 983fdfd pushed by LeroyR
November 11, 2024 14:35 3m 19s merge_orga
November 11, 2024 14:35 3m 19s
Restructure orga doc
CI #617: Pull request #905 synchronize by LeroyR
November 11, 2024 14:28 2m 36s restructure_orga_doc
November 11, 2024 14:28 2m 36s
restructure orga document
CI #616: Commit 5cde20b pushed by LeroyR
November 11, 2024 14:28 3m 3s restructure_orga_doc
November 11, 2024 14:28 3m 3s
Restructure orga doc
CI #615: Pull request #905 synchronize by LeroyR
November 11, 2024 14:26 2m 48s restructure_orga_doc
November 11, 2024 14:26 2m 48s
restructure orga document
CI #614: Commit 69f1197 pushed by LeroyR
November 11, 2024 14:26 2m 44s restructure_orga_doc
November 11, 2024 14:26 2m 44s
Restructure orga doc
CI #613: Pull request #905 synchronize by LeroyR
November 11, 2024 14:23 3m 13s restructure_orga_doc
November 11, 2024 14:23 3m 13s
restructure orga document
CI #612: Commit 204be33 pushed by LeroyR
November 11, 2024 14:23 2m 41s restructure_orga_doc
November 11, 2024 14:23 2m 41s
Merge everything back into the rulebook
CI #611: Pull request #917 synchronize by LeroyR
November 11, 2024 13:55 2m 45s merge_orga
November 11, 2024 13:55 2m 45s
merge all docs back into rulebook
CI #610: Commit 5ee12b4 pushed by LeroyR
November 11, 2024 13:55 2m 44s merge_orga
November 11, 2024 13:55 2m 44s
Merge everything back into the rulebook
CI #609: Pull request #917 opened by LeroyR
November 11, 2024 13:50 2m 34s merge_orga
November 11, 2024 13:50 2m 34s
merge all docs back into rulebook
CI #608: Commit 6ccb561 pushed by LeroyR
November 11, 2024 13:49 2m 36s merge_orga
November 11, 2024 13:49 2m 36s
merge all docs back into rulebook
CI #607: Commit 6115304 pushed by LeroyR
November 11, 2024 13:28 2m 47s merge_orga
November 11, 2024 13:28 2m 47s
pages build and deployment
pages-build-deployment #55: by github-pages bot
November 11, 2024 12:24 39s gh-pages
November 11, 2024 12:24 39s
cleanup
CI #606: Commit a990f11 pushed by LeroyR
November 11, 2024 12:21 2m 59s master
November 11, 2024 12:21 2m 59s
pages build and deployment
pages-build-deployment #54: by github-pages bot
October 28, 2024 10:57 37s gh-pages
October 28, 2024 10:57 37s
Merge pull request #873 from johaq/restaurant
CI #605: Commit 6512317 pushed by sunava
October 28, 2024 10:54 2m 51s master
October 28, 2024 10:54 2m 51s
Portugal Open Feedback for Restaurant
CI #604: Pull request #873 synchronize by sunava
October 28, 2024 10:15 2m 52s johaq:restaurant
October 28, 2024 10:15 2m 52s
Add task duration to scoresheets
CI #603: Pull request #915 synchronize by LeroyR
October 28, 2024 10:07 2m 46s leroy/timelimits
October 28, 2024 10:07 2m 46s
add Duration of tasks to scoresheet for recording
CI #602: Commit 35ebb6e pushed by LeroyR
October 28, 2024 10:07 2m 44s leroy/timelimits
October 28, 2024 10:07 2m 44s
pages build and deployment
pages-build-deployment #53: by github-pages bot
October 28, 2024 10:05 42s gh-pages
October 28, 2024 10:05 42s
Add task duration to scoresheets
CI #601: Pull request #915 opened by LeroyR
October 28, 2024 10:02 2m 42s leroy/timelimits
October 28, 2024 10:02 2m 42s
Merge pull request #875 from johaq/egpsr
CI #600: Commit 9affd1a pushed by sunava
October 28, 2024 10:02 2m 40s master
October 28, 2024 10:02 2m 40s
add Duration of tasks to scoresheet for recording
CI #599: Commit 0ff9e6f pushed by LeroyR
October 28, 2024 09:59 2m 36s leroy/timelimits
October 28, 2024 09:59 2m 36s
cleanup
CI #598: Commit 277089f pushed by LeroyR
October 28, 2024 09:58 2m 58s leroy/timelimits
October 28, 2024 09:58 2m 58s