Skip to content

Actions: twizzler-operating-system/twizzler

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
369 workflow runs
369 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fixed replace script issue: kani_workflow #5: Commit ad4c094 pushed by Alexander-Aghili
October 8, 2024 02:26 35m 54s kani_implementation
kani_implementation
October 8, 2024 02:26 35m 54s
Added replacing script and admin_scripts dir kani_workflow #4: Commit 2e79534 pushed by Alexander-Aghili
October 8, 2024 02:19 2m 57s kani_implementation
kani_implementation
October 8, 2024 02:19 2m 57s
Fixed kani args kani_workflow #3: Commit f8116d5 pushed by Alexander-Aghili
October 7, 2024 21:29 34m 20s kani_implementation
kani_implementation
October 7, 2024 21:29 34m 20s
Forgot kani flags... kani_workflow #2: Commit 96b1e46 pushed by Alexander-Aghili
October 7, 2024 21:25 10s kani_implementation
kani_implementation
October 7, 2024 21:25 10s
kani github actions workflow added kani_workflow #1: Commit f8ebdcb pushed by Alexander-Aghili
October 7, 2024 20:47 34m 33s kani_implementation
kani_implementation
October 7, 2024 20:47 34m 33s
Fixed rebase errors Kani Build and Run #6: Commit 53272b6 pushed by Alexander-Aghili
October 3, 2024 19:59 3m 12s alex_kani_2
alex_kani_2
October 3, 2024 19:59 3m 12s
Zphrs GetRandom - adds support for the GetRandom syscall (also adds the Instant struct to the kernel) Build and Test #422: Pull request #207 synchronize by zphrs
October 3, 2024 08:51 27m 9s zphrs:zphrs-random
zphrs:zphrs-random
October 3, 2024 08:51 27m 9s
Rust FS STD interface extension Build and Test #419: Pull request #206 synchronize by CPTforever
September 25, 2024 21:31 58m 16s CPTforever:main
CPTforever:main
September 25, 2024 21:31 58m 16s
Add support for x2apic mode on amd64 Build and Test #418: Pull request #208 opened by dbittman
September 24, 2024 18:39 40m 6s dbittman-x2apic
dbittman-x2apic
September 24, 2024 18:39 40m 6s
Rust FS STD interface extension Build and Test #417: Pull request #206 reopened by CPTforever
September 20, 2024 23:41 39m 43s CPTforever:main
CPTforever:main
September 20, 2024 23:41 39m 43s
Rust FS STD interface extension Build and Test #416: Pull request #206 synchronize by CPTforever
September 20, 2024 23:41 1h 19m 23s CPTforever:main
CPTforever:main
September 20, 2024 23:41 1h 19m 23s
Implement compartment and library API for monitor (#205) Build and Test #415: Commit ba59381 pushed by dbittman
September 20, 2024 22:13 39m 41s main
main
September 20, 2024 22:13 39m 41s
Implement compartment and library API for monitor (#205) Docs #179: Commit ba59381 pushed by dbittman
September 20, 2024 22:13 46m 57s main
main
September 20, 2024 22:13 46m 57s
Remove kani subdirectory Kani Build and Run #5: Commit 46984a2 pushed by Alexander-Aghili
September 18, 2024 22:52 Failure alex_kani_2
alex_kani_2
September 18, 2024 22:52 Failure
kani github workflow update Kani Build and Run #4: Commit 2c05f89 pushed by Alexander-Aghili
September 18, 2024 22:50 19s alex_kani_2
alex_kani_2
September 18, 2024 22:50 19s
Zphrs GetRandom - adds support for the GetRandom syscall (also adds the Instant struct to the kernel) Build and Test #414: Pull request #207 opened by zphrs
September 17, 2024 17:00 45m 56s zphrs:zphrs-random
zphrs:zphrs-random
September 17, 2024 17:00 45m 56s
Rust FS STD interface extension Build and Test #413: Pull request #206 synchronize by CPTforever
September 7, 2024 18:00 5m 46s CPTforever:main
CPTforever:main
September 7, 2024 18:00 5m 46s
Implement compartment and library API for monitor Build and Test #411: Pull request #205 opened by dbittman
September 5, 2024 19:48 40m 18s dbittman-monitor4
dbittman-monitor4
September 5, 2024 19:48 40m 18s
fixed git submodules command in build.md (#203) Docs #178: Commit f0de519 pushed by dbittman
August 23, 2024 18:07 46m 48s main
main
August 23, 2024 18:07 46m 48s
fixed git submodules command in build.md (#203) Build and Test #410: Commit f0de519 pushed by dbittman
August 23, 2024 18:07 39m 22s main
main
August 23, 2024 18:07 39m 22s
Update BUILD.md Build and Test #409: Pull request #203 opened by Suri312006
August 22, 2024 03:37 39m 32s Suri312006:fix-build-md
Suri312006:fix-build-md
August 22, 2024 03:37 39m 32s
Security Monitor (2) (#200) Build and Test #408: Commit 5df86c4 pushed by dbittman
August 21, 2024 18:00 39m 18s main
main
August 21, 2024 18:00 39m 18s
Security Monitor (2) (#200) Docs #177: Commit 5df86c4 pushed by dbittman
August 21, 2024 18:00 46m 31s main
main
August 21, 2024 18:00 46m 31s
Add support for benchmarking. (#201) Docs #176: Commit 67a5575 pushed by dbittman
August 21, 2024 04:27 46m 23s main
main
August 21, 2024 04:27 46m 23s
Add support for benchmarking. (#201) Build and Test #407: Commit 67a5575 pushed by dbittman
August 21, 2024 04:27 39m 10s main
main
August 21, 2024 04:27 39m 10s