Skip to content

Actions: Stellarium/stellarium

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
95 workflow run results
95 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Remote control command to change window size
CodeQL #8017: Pull request #3433 synchronize by gzotti
September 29, 2023 01:16 56m 37s RemoteControl/windowSize
September 29, 2023 01:16 56m 37s
Remote control command to change window size
Maintenance #9821: Pull request #3433 synchronize by gzotti
September 29, 2023 01:16 12s
September 29, 2023 01:16 12s
Cleanup
CI (beta) #6821: Commit e3cf7f0 pushed by gzotti
September 29, 2023 01:16 21m 24s RemoteControl/windowSize
September 29, 2023 01:16 21m 24s
Cleanup
Code Quality #5544: Commit e3cf7f0 pushed by gzotti
September 29, 2023 01:16 16m 49s RemoteControl/windowSize
September 29, 2023 01:16 16m 49s
Cleanup
Maintenance #9820: Commit e3cf7f0 pushed by gzotti
September 29, 2023 01:16 13s RemoteControl/windowSize
September 29, 2023 01:16 13s
Cleanup
CI #10085: Commit e3cf7f0 pushed by gzotti
September 29, 2023 01:16 13m 28s RemoteControl/windowSize
September 29, 2023 01:16 13m 28s
Cleanup
AppImage #7250: Commit e3cf7f0 pushed by gzotti
September 29, 2023 01:16 3s RemoteControl/windowSize
September 29, 2023 01:16 3s
Remote control command to change window size
CI (beta) #6820: Pull request #3433 opened by gzotti
September 29, 2023 00:30 17m 24s RemoteControl/windowSize
September 29, 2023 00:30 17m 24s
Remote control command to change window size
CI #10084: Pull request #3433 opened by gzotti
September 29, 2023 00:30 16m 9s RemoteControl/windowSize
September 29, 2023 00:30 16m 9s
Remote control command to change window size
CodeQL #8016: Pull request #3433 opened by gzotti
September 29, 2023 00:30 56m 57s RemoteControl/windowSize
September 29, 2023 00:30 56m 57s
Remote control command to change window size
Greetings #3209: Pull request #3433 opened by gzotti
September 29, 2023 00:30 42s
September 29, 2023 00:30 42s
Remote control command to change window size
Auto Assign #788: Pull request #3433 opened by gzotti
September 29, 2023 00:30 15s
September 29, 2023 00:30 15s
Remote control command to change window size
Contextual QA Checklists #516: Pull request #3433 opened by gzotti
September 29, 2023 00:30 48s
September 29, 2023 00:30 48s
Remote control command to change window size
Label Commenter #3856: Pull request #3433 labeled by gzotti
September 29, 2023 00:30 49s
September 29, 2023 00:30 49s
Remote control command to change window size
Label Commenter #3857: Pull request #3433 labeled by gzotti
September 29, 2023 00:30 48s
September 29, 2023 00:30 48s
Allow window size change via RemoteControl API
CI (beta) #6819: Commit 8e5d53f pushed by gzotti
September 29, 2023 00:24 24m 51s RemoteControl/windowSize
September 29, 2023 00:24 24m 51s
Allow window size change via RemoteControl API
Code Quality #5543: Commit 8e5d53f pushed by gzotti
September 29, 2023 00:24 15m 30s RemoteControl/windowSize
September 29, 2023 00:24 15m 30s
Allow window size change via RemoteControl API
CI #10083: Commit 8e5d53f pushed by gzotti
September 29, 2023 00:24 12m 29s RemoteControl/windowSize
September 29, 2023 00:24 12m 29s
Allow window size change via RemoteControl API
AppImage #7249: Commit 8e5d53f pushed by gzotti
September 29, 2023 00:24 3s RemoteControl/windowSize
September 29, 2023 00:24 3s
Allow window size change via RemoteControl API
Maintenance #9819: Commit 8e5d53f pushed by gzotti
September 29, 2023 00:24 12s RemoteControl/windowSize
September 29, 2023 00:24 12s