Skip to content

Actions: viperproject/gobra

Actions

test

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
test.yml
622 workflow runs
622 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

adapts to avoid accidental printing of ASTs test #4150: Commit 04a7a2a pushed by ArquintL
July 18, 2023 13:07 31m 22s avoid-printing-asts
avoid-printing-asts
July 18, 2023 13:07 31m 22s
parallelizes desugaring test #4149: Commit 25b9b10 pushed by ArquintL
July 18, 2023 13:06 33m 30s parallelize-desugarer
parallelize-desugarer
July 18, 2023 13:06 33m 30s
Merge pull request #634 from viperproject/parallel-type-checking test #4148: Commit 4a27390 pushed by ArquintL
July 18, 2023 08:03 19m 56s master
master
July 18, 2023 08:03 19m 56s
Parallelizing Gobra test #4147: Pull request #634 synchronize by ArquintL
July 18, 2023 07:24 31m 30s parallel-type-checking
parallel-type-checking
July 18, 2023 07:24 31m 30s
Merges remote changes test #4146: Commit a132190 pushed by ArquintL
July 18, 2023 07:24 25m 32s parallel-type-checking
parallel-type-checking
July 18, 2023 07:24 25m 32s
Parallelizing Gobra test #4145: Pull request #634 synchronize by ArquintL
July 18, 2023 07:06 27m 45s parallel-type-checking
parallel-type-checking
July 18, 2023 07:06 27m 45s
Update src/main/scala/viper/gobra/frontend/info/implementation/resolu… test #4144: Commit 4fc3cc9 pushed by ArquintL
July 18, 2023 07:06 25m 54s parallel-type-checking
parallel-type-checking
July 18, 2023 07:06 25m 54s
Merge pull request #664 from viperproject/auto-update-submodules test #4143: Commit 8f9bfa7 pushed by ArquintL
July 18, 2023 06:18 22m 39s master
master
July 18, 2023 06:18 22m 39s
Merge #664 test #4142: Commit 202172d pushed by bors bot
July 17, 2023 20:35 20m 3s staging
staging
July 17, 2023 20:35 20m 3s
Merge #664 test #4141: Commit 60f0960 pushed by bors bot
July 17, 2023 17:37 18m 59s staging
staging
July 17, 2023 17:37 18m 59s
Update Submodules test #4140: Pull request #664 opened by viper-admin
July 17, 2023 17:36 29m 54s auto-update-submodules
auto-update-submodules
July 17, 2023 17:36 29m 54s
Updates submodules test #4139: Commit 940a4b5 pushed by viper-admin
July 17, 2023 17:36 31m 34s auto-update-submodules
auto-update-submodules
July 17, 2023 17:36 31m 34s
Merge pull request #663 from viperproject/auto-update-submodules test #4138: Commit 400015c pushed by ArquintL
July 13, 2023 09:20 16m 42s master
master
July 13, 2023 09:20 16m 42s
Merge #663 test #4137: Commit a838506 pushed by bors bot
July 13, 2023 08:57 15m 52s staging
staging
July 13, 2023 08:57 15m 52s
Merge #663 test #4136: Commit 3f5b9b1 pushed by bors bot
July 13, 2023 07:57 26m 14s staging
staging
July 13, 2023 07:57 26m 14s
Update Submodules test #4135: Pull request #663 opened by viper-admin
July 13, 2023 07:54 16m 1s auto-update-submodules
auto-update-submodules
July 13, 2023 07:54 16m 1s
Updates submodules test #4134: Commit 64389b2 pushed by viper-admin
July 13, 2023 07:54 23m 10s auto-update-submodules
auto-update-submodules
July 13, 2023 07:54 23m 10s
Add tests for carbon test #4133: Pull request #485 synchronize by jcp19
July 12, 2023 04:58 6h 1m 57s carbon-tests
carbon-tests
July 12, 2023 04:58 6h 1m 57s
Merge branch 'master' into carbon-tests test #4132: Commit 3479a5c pushed by jcp19
July 12, 2023 04:58 6h 2m 5s carbon-tests
carbon-tests
July 12, 2023 04:58 6h 2m 5s
Updates submodules (#661) test #4131: Commit 1894cef pushed by jcp19
July 12, 2023 04:56 23m 42s master
master
July 12, 2023 04:56 23m 42s
Update Submodules test #4130: Pull request #661 opened by viper-admin
July 12, 2023 04:30 24m 30s auto-update-submodules
auto-update-submodules
July 12, 2023 04:30 24m 30s
Updates submodules test #4129: Commit 03bc6f0 pushed by viper-admin
July 12, 2023 04:30 25m 10s auto-update-submodules
auto-update-submodules
July 12, 2023 04:30 25m 10s
ProTip! You can narrow down the results and go further in time using created:<2023-07-12 or the other filters available.