Workflow runs · seL4/graph-refine · GitHub

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows

8 workflow runs

8 workflow runs

Fix calling convention preconditions CI #42: Pull request #9 synchronize by lsf37

3m 17s nspin:pr/fix-calling-convention-preconditions

nspin:pr/fix-calling-convention-preconditions

3m 17s

Fix calling convention preconditions PR #37: Pull request #9 synchronize by lsf37

2m 58s nspin:pr/fix-calling-convention-preconditions

nspin:pr/fix-calling-convention-preconditions

2m 58s

github: use central CI workflows CI #41: Commit 33d94bb pushed by lsf37

3m 12s master

master

3m 12s

github: use central CI workflows Trigger #3: Commit 33d94bb pushed by lsf37

3m 2s master

master

3m 2s

github: use central CI workflows PR #36: Pull request #10 opened by lsf37

27s lsf37/central-workflows

lsf37/central-workflows

27s

github: use central CI workflows CI #40: Pull request #10 opened by lsf37

22s lsf37/central-workflows

lsf37/central-workflows

22s

Fix calling convention preconditions PR #35: Pull request #9 opened by nspin

25s nspin:pr/fix-calling-convention-preconditions

nspin:pr/fix-calling-convention-preconditions

25s

Fix calling convention preconditions CI #39: Pull request #9 opened by nspin

32s nspin:pr/fix-calling-convention-preconditions

nspin:pr/fix-calling-convention-preconditions

32s