Skip to content

Actions: islet-project/islet

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
905 workflow runs
905 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Cover all RMIs with MIRI testing islet-ci #1259: Pull request #372 synchronize by bitboom
October 11, 2024 06:50 7m 5s miri-gpt
miri-gpt
October 11, 2024 06:50 7m 5s
Cover all RMIs with MIRI testing islet-ci #1258: Pull request #372 synchronize by bitboom
October 11, 2024 06:39 7m 41s miri-gpt
miri-gpt
October 11, 2024 06:39 7m 41s
Add rec.emulatable_abort to keep track of the last emulatable abort islet-ci #1257: Pull request #376 synchronize by jinbpark
October 11, 2024 05:19 7m 15s fix-mmio
fix-mmio
October 11, 2024 05:19 7m 15s
Cover all RMIs with MIRI testing islet-ci #1256: Pull request #372 synchronize by bitboom
October 11, 2024 02:25 7m 8s miri-gpt
miri-gpt
October 11, 2024 02:25 7m 8s
Cover all RMIs with MIRI testing islet-ci #1255: Pull request #372 synchronize by bitboom
October 11, 2024 01:50 7m 11s miri-gpt
miri-gpt
October 11, 2024 01:50 7m 11s
doc: Update the model checking document islet-ci #1254: Pull request #377 synchronize by zpzigi754
October 11, 2024 01:45 7m 10s update-mc-doc
update-mc-doc
October 11, 2024 01:45 7m 10s
doc: Update the model checking document islet-ci #1253: Pull request #377 synchronize by zpzigi754
October 11, 2024 01:43 7m 21s update-mc-doc
update-mc-doc
October 11, 2024 01:43 7m 21s
Fix a spec violation in rec_destroy (rec_aux_state) islet-ci #1252: Commit a947515 pushed by zpzigi754
October 11, 2024 01:36 6m 58s main
main
October 11, 2024 01:36 6m 58s
Add rec.emulatable_abort to keep track of the last emulatable abort islet-ci #1251: Pull request #376 synchronize by jinbpark
October 10, 2024 23:39 7m 20s fix-mmio
fix-mmio
October 10, 2024 23:39 7m 20s
Add rec.emulatable_abort to keep track of the last emulatable abort islet-ci #1250: Pull request #376 synchronize by jinbpark
October 10, 2024 23:30 6m 55s fix-mmio
fix-mmio
October 10, 2024 23:30 6m 55s
App provisioning framework islet-ci #1249: Pull request #367 synchronize by p-sawicki2
October 10, 2024 13:17 7m 16s app-provisioning
app-provisioning
October 10, 2024 13:17 7m 16s
doc: Update the model checking document islet-ci #1248: Pull request #377 opened by zpzigi754
October 10, 2024 07:50 7m 19s update-mc-doc
update-mc-doc
October 10, 2024 07:50 7m 19s
Add rec.emulatable_abort to keep track of the last emulatable abort islet-ci #1247: Pull request #376 synchronize by jinbpark
October 10, 2024 07:42 7m 25s fix-mmio
fix-mmio
October 10, 2024 07:42 7m 25s
Add rec.emulatable_abort to keep track of the last emulatable abort islet-ci #1246: Pull request #376 opened by jinbpark
October 10, 2024 05:21 7m 12s fix-mmio
fix-mmio
October 10, 2024 05:21 7m 12s
Cover all RMIs with MIRI testing islet-ci #1245: Pull request #372 synchronize by bitboom
October 10, 2024 05:01 6m 58s miri-gpt
miri-gpt
October 10, 2024 05:01 6m 58s
Add model checking harnesses for rec_aux_count and rec_destroy islet-ci #1244: Pull request #374 synchronize by zpzigi754
October 10, 2024 01:21 7m 10s zpzigi754:verify-rec-aux-count-destroy
zpzigi754:verify-rec-aux-count-destroy
October 10, 2024 01:21 7m 10s
App provisioning framework islet-ci #1243: Pull request #367 synchronize by L0czek
October 9, 2024 16:04 7m 24s app-provisioning
app-provisioning
October 9, 2024 16:04 7m 24s
App provisioning framework islet-ci #1242: Pull request #367 synchronize by L0czek
October 9, 2024 15:44 7m 48s app-provisioning
app-provisioning
October 9, 2024 15:44 7m 48s
App provisioning framework islet-ci #1241: Pull request #367 synchronize by L0czek
October 9, 2024 15:29 7m 46s app-provisioning
app-provisioning
October 9, 2024 15:29 7m 46s
App provisioning framework islet-ci #1240: Pull request #367 synchronize by L0czek
October 9, 2024 15:15 6m 41s app-provisioning
app-provisioning
October 9, 2024 15:15 6m 41s
App provisioning framework islet-ci #1239: Pull request #367 synchronize by L0czek
October 9, 2024 13:51 6m 31s app-provisioning
app-provisioning
October 9, 2024 13:51 6m 31s
App provisioning framework islet-ci #1238: Pull request #367 synchronize by L0czek
October 9, 2024 13:07 6m 16s app-provisioning
app-provisioning
October 9, 2024 13:07 6m 16s
Add model checking harnesses for rec_aux_count and rec_destroy islet-ci #1237: Pull request #374 opened by zpzigi754
October 8, 2024 12:39 7m 31s zpzigi754:verify-rec-aux-count-destroy
zpzigi754:verify-rec-aux-count-destroy
October 8, 2024 12:39 7m 31s
App provisioning framework islet-ci #1236: Pull request #367 synchronize by L0czek
October 8, 2024 12:18 7m 32s app-provisioning
app-provisioning
October 8, 2024 12:18 7m 32s
mc: Verify rmi realm activate islet-ci #1235: Commit 60fbff4 pushed by zpzigi754
October 8, 2024 04:54 7m 22s main
main
October 8, 2024 04:54 7m 22s