Skip to content

Actions: viperproject/gobra

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

ignore failing tests test #4991: Commit 244e8a5 pushed by jcp19
January 29, 2025 17:46 59m 38s continue-msinit
continue-msinit
January 29, 2025 17:46 59m 38s
Package invariants license-check #2000: Pull request #810 synchronize by jcp19
January 29, 2025 16:39 14s continue-msinit
continue-msinit
January 29, 2025 16:39 14s
Package invariants test #4990: Pull request #810 synchronize by jcp19
January 29, 2025 16:39 24m 27s continue-msinit
continue-msinit
January 29, 2025 16:39 24m 27s
fix viperserver function test #4989: Commit 047d14b pushed by jcp19
January 29, 2025 16:39 30m 43s continue-msinit
continue-msinit
January 29, 2025 16:39 30m 43s
Package invariants license-check #1999: Pull request #810 synchronize by jcp19
January 29, 2025 16:21 17s continue-msinit
continue-msinit
January 29, 2025 16:21 17s
Package invariants test #4988: Pull request #810 synchronize by jcp19
January 29, 2025 16:21 21m 44s continue-msinit
continue-msinit
January 29, 2025 16:21 21m 44s
fix more tests test #4987: Commit 264796a pushed by jcp19
January 29, 2025 16:21 21m 14s continue-msinit
continue-msinit
January 29, 2025 16:21 21m 14s
Package invariants license-check #1998: Pull request #810 synchronize by jcp19
January 29, 2025 16:14 17s continue-msinit
continue-msinit
January 29, 2025 16:14 17s
Package invariants test #4986: Pull request #810 synchronize by jcp19
January 29, 2025 16:14 22m 20s continue-msinit
continue-msinit
January 29, 2025 16:14 22m 20s
fix test file test #4985: Commit a758613 pushed by jcp19
January 29, 2025 16:14 1h 0m 6s continue-msinit
continue-msinit
January 29, 2025 16:14 1h 0m 6s
Package invariants test #4984: Pull request #810 synchronize by jcp19
January 29, 2025 16:09 20m 51s continue-msinit
continue-msinit
January 29, 2025 16:09 20m 51s
Package invariants license-check #1997: Pull request #810 synchronize by jcp19
January 29, 2025 16:09 13s continue-msinit
continue-msinit
January 29, 2025 16:09 13s
cleanup, bug fixing test #4983: Commit 9b38dd6 pushed by jcp19
January 29, 2025 16:09 25m 41s continue-msinit
continue-msinit
January 29, 2025 16:09 25m 41s
Package invariants test #4982: Pull request #810 synchronize by jcp19
January 29, 2025 13:52 21m 42s continue-msinit
continue-msinit
January 29, 2025 13:52 21m 42s
Package invariants license-check #1996: Pull request #810 synchronize by jcp19
January 29, 2025 13:52 16s continue-msinit
continue-msinit
January 29, 2025 13:52 16s
cleanup tests test #4981: Commit eddaf6a pushed by jcp19
January 29, 2025 13:52 21m 5s continue-msinit
continue-msinit
January 29, 2025 13:52 21m 5s
Package invariants test #4980: Pull request #810 synchronize by jcp19
January 29, 2025 12:46 20m 25s continue-msinit
continue-msinit
January 29, 2025 12:46 20m 25s
Package invariants license-check #1995: Pull request #810 synchronize by jcp19
January 29, 2025 12:46 12s continue-msinit
continue-msinit
January 29, 2025 12:46 12s
delete temp file test #4979: Commit e92f444 pushed by jcp19
January 29, 2025 12:46 20m 58s continue-msinit
continue-msinit
January 29, 2025 12:46 20m 58s
Package invariants test #4978: Pull request #810 synchronize by jcp19
January 29, 2025 12:46 21m 52s continue-msinit
continue-msinit
January 29, 2025 12:46 21m 52s
Package invariants license-check #1994: Pull request #810 synchronize by jcp19
January 29, 2025 12:46 16s continue-msinit
continue-msinit
January 29, 2025 12:46 16s
backup test #4977: Commit 0b09914 pushed by jcp19
January 29, 2025 12:46 20m 34s continue-msinit
continue-msinit
January 29, 2025 12:46 20m 34s
Package invariants test #4976: Pull request #810 synchronize by jcp19
January 28, 2025 20:23 23m 39s continue-msinit
continue-msinit
January 28, 2025 20:23 23m 39s
Package invariants license-check #1993: Pull request #810 synchronize by jcp19
January 28, 2025 20:23 13s continue-msinit
continue-msinit
January 28, 2025 20:23 13s
reorganize files test #4975: Commit 6d2a575 pushed by jcp19
January 28, 2025 20:23 22m 36s continue-msinit
continue-msinit
January 28, 2025 20:23 22m 36s