Skip to content

Actions: rems-project/archsem

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,989 workflow runs
1,989 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
fix(cli): Avoid reserving VA blocks for table descriptors CI #2083: Pull request #283 opened by febyeji
2m 34s febyeji:febyeji/fix-isla-table-va-allocation
febyeji:febyeji/fix-isla-table-va-allocation
2m 34s
chore: Update to Rocq 9.1/Ocaml 5.4/Sail 0.20.3/stdpp 0.13 (#274) CI #2082: Commit ef3f818 pushed by github-merge-queue Bot
40m 31s main
main
40m 31s
CI CI #2081: Merge group checks requested
37m 39s
37m 39s
chore: Update to Rocq 9.1/Ocaml 5.4/Sail 0.20.3/stdpp 0.13 CI #2080: Pull request #274 synchronize by tperami
29m 57s update-dependencies
update-dependencies
29m 57s
fix(VMProm): Use the asid read by ISA model instead of re-reading it … CI #2079: Commit 189970b pushed by github-merge-queue Bot
3m 7s main
main
3m 7s
fix(VMProm): Make the BBM checker handle ASID-block vs Global-page co… CI #2078: Commit a180599 pushed by github-merge-queue Bot
2m 30s main
main
2m 30s
CI CI #2077: Merge group checks requested
2m 59s
2m 59s
CI CI #2076: Merge group checks requested
2m 47s
2m 47s
CI CI #2075: Merge group checks requested
3m 43s
3m 43s
fix(cli): Avoid collisions in Isla page-table layouts CI #2074: Pull request #282 opened by febyeji
2m 50s fix/isla-page-table-layout
fix/isla-page-table-layout
2m 50s
feat(Isla): Support named page-table walks CI #2073: Pull request #281 opened by febyeji
3m 20s isla-named-walks
isla-named-walks
3m 20s
fix(VMProm): Use the asid read by ISA model instead of re-reading it CI #2072: Pull request #279 opened by tperami
2m 41s fix-asid-tlb-lookup
fix-asid-tlb-lookup
2m 41s
fix(VMProm): Make indirect system register read agree per instruction CI #2071: Pull request #278 opened by tperami
2m 21s sys-reg-indirect-fix
sys-reg-indirect-fix
2m 21s
fix(VMProm): Make the BBM checker handle ASID-block vs Global-page conflicts CI #2070: Pull request #277 synchronize by tperami
2m 34s fix-bbm-global-childs
fix-bbm-global-childs
2m 34s
chore: Update to Rocq 9.1/Ocaml 5.4/Sail 0.20.3/stdpp 0.13 CI #2069: Pull request #274 synchronize by tperami
2m 15s update-dependencies
update-dependencies
2m 15s
fix(cli): Enforce symbols being only alphanumeric+underscore (#275) CI #2068: Commit 502d9bc pushed by github-merge-queue Bot
2m 53s main
main
2m 53s
CI CI #2067: Merge group checks requested
2m 25s
2m 25s
fix(VMProm): Make the BBM checker handle ASID-block vs Global-page conflicts CI #2066: Pull request #277 opened by tperami
2m 38s fix-bbm-global-childs
fix-bbm-global-childs
2m 38s
chore: Update to Rocq 9.1/Ocaml 5.4/Sail 0.20.3/stdpp 0.13 CI #2065: Pull request #274 synchronize by tperami
35m 34s update-dependencies
update-dependencies
35m 34s
fix(cli): Enforce symbols being only alphanumeric+underscore CI #2064: Pull request #275 opened by tperami
2m 28s symbols-cleanup
symbols-cleanup
2m 28s
chore: Update to Rocq 9.1/Ocaml 5.4/Sail 0.20.3/stdpp 0.13 CI #2063: Pull request #274 synchronize by tperami
2m 12s update-dependencies
update-dependencies
2m 12s
perf(VMProm): refactor the TLB (#273) CI #2062: Commit acee669 pushed by github-merge-queue Bot
2m 55s main
main
2m 55s
CI CI #2061: Merge group checks requested
2m 38s
2m 38s
CI CI #2060: Merge group checks requested
3m 3s
3m 3s
perf(VMProm): refactor the TLB CI #2059: Pull request #273 synchronize by tperami
2m 36s tlb-refactor
tlb-refactor
2m 36s