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

remove old commented out test code kani_workflow #15: Commit 0296df5 pushed by EIRNf
November 15, 2024 01:54 38m 4s kani_implementation
kani_implementation
November 15, 2024 01:54 38m 4s
Kernel stability fixes (#215) Build and Test #434: Commit 5750bf1 pushed by dbittman
November 14, 2024 00:24 39m 42s main
main
November 14, 2024 00:24 39m 42s
Kernel stability fixes (#215) Docs #182: Commit 5750bf1 pushed by dbittman
November 14, 2024 00:24 46m 53s main
main
November 14, 2024 00:24 46m 53s
Kernel stability fixes Build and Test #433: Pull request #215 synchronize by dbittman
November 13, 2024 02:21 39m 45s dbittman-kernel-fixes
dbittman-kernel-fixes
November 13, 2024 02:21 39m 45s
Kernel stability fixes Build and Test #432: Pull request #215 synchronize by dbittman
November 13, 2024 02:17 5m 18s dbittman-kernel-fixes
dbittman-kernel-fixes
November 13, 2024 02:17 5m 18s
Kernel stability fixes Build and Test #431: Pull request #215 synchronize by dbittman
November 13, 2024 02:15 7m 3s dbittman-kernel-fixes
dbittman-kernel-fixes
November 13, 2024 02:15 7m 3s
Kernel stability fixes Build and Test #430: Pull request #215 synchronize by dbittman
November 12, 2024 22:45 57m 52s dbittman-kernel-fixes
dbittman-kernel-fixes
November 12, 2024 22:45 57m 52s
Upgrade Limine crate and EFI binaries Build and Test #429: Pull request #216 opened by PandaZ3D
November 10, 2024 04:16 54m 41s aaboytes-upgrade-limine
aaboytes-upgrade-limine
November 10, 2024 04:16 54m 41s
Kernel stability fixes Build and Test #428: Pull request #215 synchronize by dbittman
November 8, 2024 01:12 40m 0s dbittman-kernel-fixes
dbittman-kernel-fixes
November 8, 2024 01:12 40m 0s
Kernel stability fixes Build and Test #427: Pull request #215 opened by dbittman
November 8, 2024 00:15 38m 41s dbittman-kernel-fixes
dbittman-kernel-fixes
November 8, 2024 00:15 38m 41s
remove/update KANI_TODO kani_workflow #14: Commit c141ad8 pushed by EIRNf
November 7, 2024 00:50 36m 30s kani_implementation
kani_implementation
November 7, 2024 00:50 36m 30s
clean up kernel dependencies for kani compatability kani_workflow #13: Commit ee3a25d pushed by EIRNf
November 1, 2024 23:10 35m 59s kani_implementation
kani_implementation
November 1, 2024 23:10 35m 59s
bump rust branch Build and Test #426: Pull request #213 opened by Suri312006
October 25, 2024 22:07 27m 16s Suri312006:bump-rust-ver
Suri312006:bump-rust-ver
October 25, 2024 22:07 27m 16s
Test Kani Github Actions - 1 kani_workflow #12: Commit 1f2d878 pushed by Alexander-Aghili
October 12, 2024 03:05 36m 6s kani_implementation
kani_implementation
October 12, 2024 03:05 36m 6s
fix uses vs run kani_workflow #11: Commit 4b74039 pushed by Alexander-Aghili
October 12, 2024 02:44 3m 3s kani_implementation
kani_implementation
October 12, 2024 02:44 3m 3s
kani rustup update test kani_workflow #10: Commit 89152e4 pushed by Alexander-Aghili
October 12, 2024 02:37 Failure kani_implementation
kani_implementation
October 12, 2024 02:37 Failure
Cargo lock fix kani_workflow #9: Commit 42ba649 pushed by Alexander-Aghili
October 11, 2024 22:15 3m 3s kani_implementation
kani_implementation
October 11, 2024 22:15 3m 3s
Fix workflow error kani_workflow #8: Commit 1b33383 pushed by Alexander-Aghili
October 11, 2024 20:01 3m 4s kani_implementation
kani_implementation
October 11, 2024 20:01 3m 4s
Kani guide and tool reform kani_workflow #7: Commit 03048bc pushed by Alexander-Aghili
October 11, 2024 19:31 3m 10s kani_implementation
kani_implementation
October 11, 2024 19:31 3m 10s
Add support for x2apic mode on amd64. (#208) Docs #181: Commit 1340567 pushed by dbittman
October 10, 2024 19:08 1h 34m 48s main
main
October 10, 2024 19:08 1h 34m 48s
Add support for x2apic mode on amd64. (#208) Build and Test #425: Commit 1340567 pushed by dbittman
October 10, 2024 19:08 1h 27m 29s main
main
October 10, 2024 19:08 1h 27m 29s
Rust FS STD interface extension (#206) Docs #180: Commit e638ee0 pushed by dbittman
October 10, 2024 19:08 47m 29s main
main
October 10, 2024 19:08 47m 29s
Rust FS STD interface extension (#206) Build and Test #424: Commit e638ee0 pushed by dbittman
October 10, 2024 19:08 40m 7s main
main
October 10, 2024 19:08 40m 7s
Zphrs GetRandom - adds support for the GetRandom syscall (also adds the Instant struct to the kernel) Build and Test #423: Pull request #207 synchronize by zphrs
October 9, 2024 21:55 1h 17m 51s zphrs:zphrs-random
zphrs:zphrs-random
October 9, 2024 21:55 1h 17m 51s
Test working kani results with actions kani_workflow #6: Commit 16632ea pushed by Alexander-Aghili
October 8, 2024 17:26 35m 36s kani_implementation
kani_implementation
October 8, 2024 17:26 35m 36s