Skip to content

Actions: viperproject/gobra

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update src/main/scala/viper/gobra/frontend/Config.scala test #4300: Commit 86ada0d pushed by Dspil
December 2, 2023 16:57 30m 14s dspil_disable_nlir
dspil_disable_nlir
December 2, 2023 16:57 30m 14s
Flag for non-linear integer arithmetic test #4299: Pull request #709 synchronize by Dspil
December 2, 2023 14:06 51m 48s dspil_disable_nlir
dspil_disable_nlir
December 2, 2023 14:06 51m 48s
Flag for non-linear integer arithmetic license-check #1719: Pull request #709 synchronize by Dspil
December 2, 2023 14:06 17s dspil_disable_nlir
dspil_disable_nlir
December 2, 2023 14:06 17s
Update src/main/scala/viper/gobra/frontend/Config.scala test #4298: Commit d96588d pushed by Dspil
December 2, 2023 14:06 26m 43s dspil_disable_nlir
dspil_disable_nlir
December 2, 2023 14:06 26m 43s
Add support for exhaleMode annotation test #4297: Pull request #710 opened by jcp19
December 2, 2023 00:55 9m 7s joao-mce-annotation
joao-mce-annotation
December 2, 2023 00:55 9m 7s
Add support for exhaleMode annotation license-check #1718: Pull request #710 opened by jcp19
December 2, 2023 00:55 16s joao-mce-annotation
joao-mce-annotation
December 2, 2023 00:55 16s
backup test #4296: Commit e364bcd pushed by jcp19
December 2, 2023 00:54 8m 53s joao-mce-annotation
joao-mce-annotation
December 2, 2023 00:54 8m 53s
Flag for non-linear integer arithmetic license-check #1717: Pull request #709 opened by Dspil
December 1, 2023 22:09 16s dspil_disable_nlir
dspil_disable_nlir
December 1, 2023 22:09 16s
Flag for non-linear integer arithmetic test #4295: Pull request #709 opened by Dspil
December 1, 2023 22:09 42m 58s dspil_disable_nlir
dspil_disable_nlir
December 1, 2023 22:09 42m 58s
test test #4294: Commit 27ec565 pushed by Dspil
December 1, 2023 22:08 20m 36s dspil_disable_nlir
dspil_disable_nlir
December 1, 2023 22:08 20m 36s
cure dyslexia test #4293: Commit fbb0f64 pushed by Dspil
December 1, 2023 22:03 46m 30s dspil_disable_nlir
dspil_disable_nlir
December 1, 2023 22:03 46m 30s
Add option to disable set axiomatization license-check #1716: Pull request #708 opened by dnezam
December 1, 2023 15:14 14s master
master
December 1, 2023 15:14 14s
Add option to disable set axiomatization test #4292: Pull request #708 opened by dnezam
December 1, 2023 15:14 21m 10s master
master
December 1, 2023 15:14 21m 10s
disable NLIR test #4291: Commit 5a57ea0 pushed by Dspil
December 1, 2023 14:41 19m 47s dspil_disable_nlir
dspil_disable_nlir
December 1, 2023 14:41 19m 47s
disable nlir test #4290: Commit 1eeff3a pushed by Dspil
December 1, 2023 14:28 4m 31s dspil_disable_nlir
dspil_disable_nlir
December 1, 2023 14:28 4m 31s
Update Submodules Update Submodules #72: Scheduled
December 1, 2023 06:00 13s master
master
December 1, 2023 06:00 13s
Updates submodules (#704) test #4289: Commit 9f38d64 pushed by jcp19
November 30, 2023 08:31 21m 15s master
master
November 30, 2023 08:31 21m 15s
ProTip! You can narrow down the results and go further in time using created:<2023-11-30 or the other filters available.