Skip to content

Actions: viperproject/viper-roots

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
19 workflow runs
19 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Use Isabelle2024 container for CI Viper Roots CI #19: Pull request #5 synchronize by gauravpartha
January 23, 2025 19:58 40s isa-container-ci
isa-container-ci
January 23, 2025 19:58 40s
Use Isabelle2024 container for CI Viper Roots CI #18: Pull request #5 synchronize by gauravpartha
January 23, 2025 19:56 39s isa-container-ci
isa-container-ci
January 23, 2025 19:56 39s
Use Isabelle2024 container for CI Viper Roots CI #17: Pull request #5 synchronize by gauravpartha
January 23, 2025 19:52 43s isa-container-ci
isa-container-ci
January 23, 2025 19:52 43s
Use Isabelle2024 container for CI Viper Roots CI #16: Pull request #5 synchronize by gauravpartha
January 23, 2025 19:44 37s isa-container-ci
isa-container-ci
January 23, 2025 19:44 37s
Use Isabelle2024 container for CI Viper Roots CI #15: Pull request #5 synchronize by gauravpartha
January 23, 2025 19:40 40s isa-container-ci
isa-container-ci
January 23, 2025 19:40 40s
Use Isabelle2024 container for CI Viper Roots CI #14: Pull request #5 opened by gauravpartha
January 23, 2025 19:31 50s isa-container-ci
isa-container-ci
January 23, 2025 19:31 50s
Update README.md Viper Roots CI #13: Commit 322e7ff pushed by gauravpartha
December 9, 2024 18:24 14m 49s main
main
December 9, 2024 18:24 14m 49s
Viper Roots CI Viper Roots CI #12: Manually run by gauravpartha
December 8, 2024 22:47 14m 18s dissertation-gaurav
dissertation-gaurav
December 8, 2024 22:47 14m 18s
Merge pull request #4 from viperproject/foundational_boogie_viperproject Viper Roots CI #11: Commit 2dc1953 pushed by gauravpartha
December 8, 2024 20:51 14m 20s main
main
December 8, 2024 20:51 14m 20s
Transfer gauravpartha/foundational_boogie to viperproject/foundational-boogie Viper Roots CI #10: Pull request #4 synchronize by gauravpartha
December 8, 2024 17:21 14m 39s foundational_boogie_viperproject
foundational_boogie_viperproject
December 8, 2024 17:21 14m 39s
Transfer gauravpartha/foundational_boogie to viperproject/foundational-boogie Viper Roots CI #9: Pull request #4 opened by gauravpartha
December 8, 2024 17:17 14m 21s foundational_boogie_viperproject
foundational_boogie_viperproject
December 8, 2024 17:17 14m 21s
Merge pull request #2 from viperproject/update_foundational_boogie Viper Roots CI #8: Commit 2e691a5 pushed by gauravpartha
December 5, 2024 13:34 14m 25s main
main
December 5, 2024 13:34 14m 25s
update foundational_boogie submodule to cfg_optimizations branch Viper Roots CI #7: Pull request #2 synchronize by gauravpartha
December 5, 2024 13:19 14m 36s update_foundational_boogie
update_foundational_boogie
December 5, 2024 13:19 14m 36s
update link for downloading Isabelle 2024 Viper Roots CI #6: Pull request #3 opened by gauravpartha
December 5, 2024 11:45 17m 37s update_ci
update_ci
December 5, 2024 11:45 17m 37s
Merge pull request #1 from viperproject/sync_with_dissertation Viper Roots CI #5: Commit ac61237 pushed by gauravpartha
December 5, 2024 11:20 15m 28s main
main
December 5, 2024 11:20 15m 28s
update foundational_boogie submodule to cfg_optimizations branch Viper Roots CI #4: Pull request #2 opened by gauravpartha
December 5, 2024 11:13 49s update_foundational_boogie
update_foundational_boogie
December 5, 2024 11:13 49s
More general rules in viper-total-heaps Viper Roots CI #3: Pull request #1 opened by gauravpartha
December 5, 2024 11:08 14s sync_with_dissertation
sync_with_dissertation
December 5, 2024 11:08 14s
Update README.md Viper Roots CI #2: Commit e0e47ac pushed by gauravpartha
December 3, 2024 11:45 15m 14s main
main
December 3, 2024 11:45 15m 14s
remove artifact README Viper Roots CI #1: Commit 27408a0 pushed by gauravpartha
November 13, 2024 16:39 14m 22s main
main
November 13, 2024 16:39 14m 22s