Skip to content

Actions: kgex/seL4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
5 workflow runs
5 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update README.md CI for seL4 #5: Commit d03c5f5 pushed by bhuvaneshwarikanagaraj
September 25, 2024 11:28 1m 0s main
main
September 25, 2024 11:28 1m 0s
Update README.md CI for seL4 #4: Commit 9b832f5 pushed by bhuvaneshwarikanagaraj
September 25, 2024 11:27 58s main
main
September 25, 2024 11:27 58s
Update README.md CI for seL4 #3: Commit b6cb0f4 pushed by bhuvaneshwarikanagaraj
September 25, 2024 11:23 25s main
main
September 25, 2024 11:23 25s
Update ci.yml CI for seL4 #2: Commit 3ff732d pushed by bhuvaneshwarikanagaraj
September 25, 2024 11:11 27s main
main
September 25, 2024 11:11 27s
Add GitHub Actions CI workflow CI for seL4 #1: Commit aacea91 pushed by bhuvaneshwarikanagaraj
September 25, 2024 11:10 Failure main
main
September 25, 2024 11:10 Failure