Skip to content

Actions: theseus-os/Theseus

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,598 workflow runs
1,598 workflow runs
Event

Filter by event

Loading
Status

Filter by status

Loading
Branch
Actor

Filter by actor

Loading
GIC driver fixes & improvements
Clippy Checks #1252: Pull request #939 synchronize by NathanRoyer
April 20, 2023 14:38 3m 25s NathanRoyer:gic-fixes-improvements
April 20, 2023 14:38 3m 25s
GIC driver fixes & improvements
Documentation #2061: Pull request #939 synchronize by NathanRoyer
April 20, 2023 14:34 2m 21s NathanRoyer:gic-fixes-improvements
April 20, 2023 14:34 2m 21s
GIC driver fixes & improvements
Clippy Checks #1251: Pull request #939 synchronize by NathanRoyer
April 20, 2023 14:34 4m 14s NathanRoyer:gic-fixes-improvements
April 20, 2023 14:34 4m 14s
GIC driver fixes & improvements
Documentation #2060: Pull request #939 synchronize by NathanRoyer
April 20, 2023 14:14 2m 34s NathanRoyer:gic-fixes-improvements
April 20, 2023 14:14 2m 34s
GIC driver fixes & improvements
Clippy Checks #1250: Pull request #939 synchronize by NathanRoyer
April 20, 2023 14:14 3m 21s NathanRoyer:gic-fixes-improvements
April 20, 2023 14:14 3m 21s
pages build and deployment
pages-build-deployment #290: by github-pages bot
April 19, 2023 16:59 39s
April 19, 2023 16:59 39s
aarch64: address clippy lints and enable clippy CI (#938)
Documentation #2059: Commit 49e8d1d pushed by kevinaboos
April 19, 2023 16:57 2m 11s theseus_main
April 19, 2023 16:57 2m 11s
GIC driver fixes & improvements
Documentation #2058: Pull request #939 opened by NathanRoyer
April 19, 2023 15:31 2m 31s NathanRoyer:gic-fixes-improvements
April 19, 2023 15:31 2m 31s
GIC driver fixes & improvements
Clippy Checks #1249: Pull request #939 opened by NathanRoyer
April 19, 2023 15:31 2m 48s NathanRoyer:gic-fixes-improvements
April 19, 2023 15:31 2m 48s
pages build and deployment
pages-build-deployment #289: by github-pages bot
April 19, 2023 00:04 34s
April 19, 2023 00:04 34s
Ensure early logger buffer is in .bss, not .data (#937)
Documentation #2055: Commit 5f62c8e pushed by kevinaboos
April 19, 2023 00:01 2m 13s theseus_main
April 19, 2023 00:01 2m 13s
pages build and deployment
pages-build-deployment #288: by github-pages bot
April 18, 2023 21:59 36s
April 18, 2023 21:59 36s
Buffer early log messages for future display (#936)
Documentation #2053: Commit 9b941bc pushed by kevinaboos
April 18, 2023 21:57 2m 11s theseus_main
April 18, 2023 21:57 2m 11s
Buffer early log messages for future display
Documentation #2052: Pull request #936 synchronize by kevinaboos
April 18, 2023 21:46 2m 16s NathanRoyer:pre-mmgmt-log-msgs
April 18, 2023 21:46 2m 16s
Buffer early log messages for future display
Clippy Checks #1245: Pull request #936 synchronize by kevinaboos
April 18, 2023 21:46 3m 3s NathanRoyer:pre-mmgmt-log-msgs
April 18, 2023 21:46 3m 3s
Buffer early log messages for future display
Clippy Checks #1244: Pull request #936 synchronize by kevinaboos
April 18, 2023 07:05 3m 36s NathanRoyer:pre-mmgmt-log-msgs
April 18, 2023 07:05 3m 36s
Buffer early log messages for future display
Documentation #2051: Pull request #936 synchronize by kevinaboos
April 18, 2023 07:05 2m 25s NathanRoyer:pre-mmgmt-log-msgs
April 18, 2023 07:05 2m 25s
ProTip! You can narrow down the results and go further in time using created:<2023-04-18 or the other filters available.