Workflow runs · e-comos/kernel · GitHub

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows

16 workflow runs

16 workflow runs

Kernel rewrite TLA+ Model Checking #17: Commit 98ff39f pushed by Saladin5101

10s main

main

10s

Fix struct error TLA+ Model Checking #16: Commit f04155f pushed by Saladin5101

11s main

main

11s

Megare code TLA+ Model Checking #15: Commit 287c387 pushed by Saladin5101

11s main

main

11s

New init sys by seL4 TLA+ Model Checking #14: Commit ec37f54 pushed by Saladin5101

10s main

main

10s

fix kernel entry problem and make new memory management TLA+ Model Checking #13: Commit b7906d0 pushed by Saladin5101

16s main

main

16s

Fix Makefile to use uefi.ld as the linker script and remove redundant… TLA+ Model Checking #12: Commit 595e997 pushed by Saladin5101

14s main

main

14s

Update tla-model-checking.yml TLA+ Model Checking #11: Commit 176d804 pushed by Saladin5101

13s main

main

13s

Update tla-model-checking.yml TLA+ Model Checking #10: Commit 8a6152f pushed by Saladin5101

8s main

main

8s

Sync to another computer TLA+ Model Checking #9: Commit 86d47d9 pushed by Saladin5101

8s main

main

8s

Save work TLA+ Model Checking #8: Commit 72f38d6 pushed by Saladin5101

5s main

main

5s

Closing to ok. TLA+ Model Checking #7: Commit 71831ef pushed by Saladin5101

6s main

main

6s

Fixed test issue TLA+ Model Checking #6: Commit 75872d9 pushed by Saladin5101

6s main

main

6s

FUCK!!! TLA+ Model Checking #5: Commit 282b29c pushed by Saladin5101

5s main

main

5s

Merge pull request #2 from Saladin5101/main TLA+ Model Checking #4: Commit e32e7cf pushed by Saladin5101

5s v2

v2

5s

Merge pull request #2 from Saladin5101/main TLA+ Model Checking #3: Commit e32e7cf pushed by Saladin5101

6s main

main

6s

Fix: fix issue #1 in upstream repo TLA+ Model Checking #2: Pull request #2 opened by Saladin5101

6s main

main

6s