Skip to content

Actions: viperproject/VerifiedSCION

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
386 workflow runs
386 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
Adapt to new pred expr instance syntax Verify bitwise operations in Dafny #1362: Pull request #416 synchronize by jcp19
46s new-syntax-pred-expr
new-syntax-pred-expr
46s
Adapt to new pred expr instance syntax Run 'go test' #1978: Pull request #416 synchronize by jcp19
1m 7s new-syntax-pred-expr
new-syntax-pred-expr
1m 7s
Adapt to new pred expr instance syntax Verify the router and its dependencies #2484: Pull request #416 synchronize by jcp19
2m 47s new-syntax-pred-expr
new-syntax-pred-expr
2m 47s
Adapt to new pred expr instance syntax Verify the router and its dependencies #2483: Pull request #416 synchronize by jcp19
1m 51s new-syntax-pred-expr
new-syntax-pred-expr
1m 51s
Adapt to new pred expr instance syntax Verify bitwise operations in Dafny #1361: Pull request #416 synchronize by jcp19
55s new-syntax-pred-expr
new-syntax-pred-expr
55s
Adapt to new pred expr instance syntax Run 'go test' #1977: Pull request #416 synchronize by jcp19
1m 4s new-syntax-pred-expr
new-syntax-pred-expr
1m 4s
Adapt to new pred expr instance syntax Verify bitwise operations in Dafny #1360: Pull request #416 opened by jcp19
47s new-syntax-pred-expr
new-syntax-pred-expr
47s
Adapt to new pred expr instance syntax Verify the router and its dependencies #2482: Pull request #416 opened by jcp19
4m 57s new-syntax-pred-expr
new-syntax-pred-expr
4m 57s
Adapt to new pred expr instance syntax Run 'go test' #1976: Pull request #416 opened by jcp19
1m 6s new-syntax-pred-expr
new-syntax-pred-expr
1m 6s
[router] use mce on-demand Verify the router and its dependencies #2481: Pull request #415 synchronize by jcp19
44m 18s change-router-od-mode
change-router-od-mode
44m 18s
[router] use mce on-demand Verify bitwise operations in Dafny #1359: Pull request #415 synchronize by jcp19
51s change-router-od-mode
change-router-od-mode
51s
[router] use mce on-demand Run 'go test' #1975: Pull request #415 synchronize by jcp19
58s change-router-od-mode
change-router-od-mode
58s
[router] use mce on-demand Verify bitwise operations in Dafny #1358: Pull request #415 synchronize by jcp19
48s change-router-od-mode
change-router-od-mode
48s
[router] use mce on-demand Verify the router and its dependencies #2480: Pull request #415 synchronize by jcp19
35m 36s change-router-od-mode
change-router-od-mode
35m 36s
[router] use mce on-demand Run 'go test' #1974: Pull request #415 synchronize by jcp19
57s change-router-od-mode
change-router-od-mode
57s
[router] use mce on-demand Verify bitwise operations in Dafny #1357: Pull request #415 synchronize by jcp19
51s change-router-od-mode
change-router-od-mode
51s
[router] use mce on-demand Verify the router and its dependencies #2479: Pull request #415 synchronize by jcp19
14m 28s change-router-od-mode
change-router-od-mode
14m 28s
[router] use mce on-demand Run 'go test' #1973: Pull request #415 synchronize by jcp19
52s change-router-od-mode
change-router-od-mode
52s
[router] use mce on-demand Run 'go test' #1972: Pull request #415 opened by jcp19
59s change-router-od-mode
change-router-od-mode
59s
[router] use mce on-demand Verify the router and its dependencies #2478: Pull request #415 opened by jcp19
3m 20s change-router-od-mode
change-router-od-mode
3m 20s
[router] use mce on-demand Verify bitwise operations in Dafny #1356: Pull request #415 opened by jcp19
44s change-router-od-mode
change-router-od-mode
44s
re-run CI Verify bitwise operations in Dafny #1355: Pull request #414 opened by jcp19
44s jcp19-patch-1
jcp19-patch-1
44s
re-run CI Run 'go test' #1971: Pull request #414 opened by jcp19
53s jcp19-patch-1
jcp19-patch-1
53s
re-run CI Verify the router and its dependencies #2477: Pull request #414 opened by jcp19
36m 28s jcp19-patch-1
jcp19-patch-1
36m 28s
pr 380 .github/workflows/bors.yml #1938: Commit 15c9c75 pushed by jcp19
Failure da-addr-6
da-addr-6
Failure