Skip to content

Actions: rems-project/archsem

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,839 workflow runs
1,839 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
perf(Extraction): Extract Pos.reverse to something sensible CI #1921: Pull request #248 synchronize by tperami
2m 29s perf-extraction-reverse
perf-extraction-reverse
2m 29s
perf(Extraction): Extract product encodings to something faster CI #1920: Pull request #249 synchronize by tperami
1s perf-extraction-interleaving
perf-extraction-interleaving
1s
perf(Extraction): Extract product encodings to something faster CI #1919: Pull request #249 synchronize by tperami
2m 51s perf-extraction-interleaving
perf-extraction-interleaving
2m 51s
perf(Extraction): Extract product encodings to something faster CI #1918: Pull request #249 synchronize by tperami
3m 0s perf-extraction-interleaving
perf-extraction-interleaving
3m 0s
perf(Extraction): Extract Pos.reverse to something sensible CI #1917: Pull request #248 synchronize by tperami
3m 4s perf-extraction-reverse
perf-extraction-reverse
3m 4s
perf(Extraction): Extract product encodings to something faster CI #1916: Pull request #249 synchronize by tperami
3s perf-extraction-interleaving
perf-extraction-interleaving
3s
perf(Extraction): Extract product encodings to something faster CI #1915: Pull request #249 synchronize by tperami
2m 50s perf-extraction-interleaving
perf-extraction-interleaving
2m 50s
perf(Extraction): Extract Pos.reverse to something sensible CI #1914: Pull request #248 synchronize by tperami
2m 49s perf-extraction-reverse
perf-extraction-reverse
2m 49s
perf(Extraction): Extract product encodings to something faster CI #1913: Pull request #249 synchronize by tperami
2s perf-extraction-interleaving
perf-extraction-interleaving
2s
refactor: Make termination condition be breakpoints lists CI #1912: Pull request #251 opened by tperami
3m 25s termCond-breakpoints
termCond-breakpoints
3m 25s
perf(Extraction): Extract product encodings to something faster CI #1911: Pull request #249 synchronize by tperami
3m 50s perf-extraction-interleaving
perf-extraction-interleaving
3m 50s
perf(Extraction): Extract product encodings to something faster CI #1910: Pull request #249 synchronize by tperami
1m 27s perf-extraction-interleaving
perf-extraction-interleaving
1m 27s
feat(Isla): Partition page-table allocation arenas CI #1909: Pull request #236 synchronize by febyeji
2m 48s feature/pgt-allocation-arenas
feature/pgt-allocation-arenas
2m 48s
fix(Extraction): Extract result types to Ocaml's result (#244) CI #1908: Commit cf8c036 pushed by github-merge-queue Bot
6m 44s main
main
6m 44s
perf(Extraction): Fix extraction of cast_* from coq-sail (#243) CI #1907: Commit 484a586 pushed by github-merge-queue Bot
3s main
main
3s
perf(Extraction): Inline monadic wrapper in extraction (#242) CI #1906: Commit 1d7b35a pushed by github-merge-queue Bot
3s main
main
3s
perf(Extraction): Make some bitvector ops extract to sensible things … CI #1905: Commit 74bc09c pushed by github-merge-queue Bot
4s main
main
4s
perf(Extraction): Extract more primitive integer operations efficient… CI #1904: Commit 413020b pushed by github-merge-queue Bot
3m 27s main
main
3m 27s
CI CI #1903: Merge group checks requested
2m 45s
2m 45s
CI CI #1902: Merge group checks requested
2m 51s
2m 51s
CI CI #1901: Merge group checks requested
2m 46s
2m 46s
CI CI #1900: Merge group checks requested
2m 49s
2m 49s
CI CI #1899: Merge group checks requested
3m 3s
3m 3s
feat(Isla): Support named page-table roots CI #1898: Pull request #239 synchronize by febyeji
2m 51s feature/pgt-dsl-named-tables
feature/pgt-dsl-named-tables
2m 51s
feat(Isla): Partition page-table allocation arenas CI #1897: Pull request #236 synchronize by febyeji
2m 49s feature/pgt-allocation-arenas
feature/pgt-allocation-arenas
2m 49s