Skip to content

Actions: trolando/oink

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
24 workflow runs
24 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
Fix compiling error due to missing include CI testing #81: Commit 416487b pushed by trolando
March 26, 2024 10:56 14m 5s master
master
March 26, 2024 10:56 14m 5s
Added parity game examples from SYNTCOMP benchmarks CI testing #80: Commit 3982fe1 pushed by trolando
December 10, 2023 18:43 4m 44s master
master
December 10, 2023 18:43 4m 44s
Fix error in symsi counterexample CI testing #79: Commit 34dbd4f pushed by trolando
November 7, 2023 13:34 5m 23s master
master
November 7, 2023 13:34 5m 23s
Try to fix CMake export CI testing #78: Commit 6f849c7 pushed by trolando
October 25, 2023 22:59 15m 10s master
master
October 25, 2023 22:59 15m 10s
Try to fix CMake export CI testing #77: Commit a3cd3d1 pushed by trolando
October 25, 2023 22:55 16m 47s master
master
October 25, 2023 22:55 16m 47s
Try to fix CMake export CI testing #76: Commit 73dc74b pushed by trolando
October 25, 2023 22:47 7m 44s master
master
October 25, 2023 22:47 7m 44s
Try to fix CMake export CI testing #75: Commit 3e844a9 pushed by trolando
October 25, 2023 22:46 5m 23s master
master
October 25, 2023 22:46 5m 23s
Try to fix CMake export CI testing #74: Commit 24686ce pushed by trolando
October 25, 2023 22:37 8m 10s master
master
October 25, 2023 22:37 8m 10s
Try to fix CMake export CI testing #73: Commit f87b426 pushed by trolando
October 25, 2023 22:33 7m 58s master
master
October 25, 2023 22:33 7m 58s
Try to fix CMake export CI testing #72: Commit f497582 pushed by trolando
October 25, 2023 22:31 7m 33s master
master
October 25, 2023 22:31 7m 33s
:Always build the solver (for consistency with export/install) CI testing #71: Commit e24fa12 pushed by trolando
October 25, 2023 22:28 7m 6s master
master
October 25, 2023 22:28 7m 6s
Always build the solver (for consistency with export/install) CI testing #70: Commit 8d23496 pushed by trolando
October 25, 2023 22:27 3m 23s master
master
October 25, 2023 22:27 3m 23s
Move public headers out of the src folder CI testing #69: Commit bb52a10 pushed by trolando
October 25, 2023 22:21 5m 43s master
master
October 25, 2023 22:21 5m 43s
Move public headers out of the src folder CI testing #68: Commit b8c0f3e pushed by trolando
October 25, 2023 22:13 4m 34s master
master
October 25, 2023 22:13 4m 34s
Update compiler versions for GitHub Actions CI testing #67: Commit b123208 pushed by trolando
October 25, 2023 21:48 4m 20s master
master
October 25, 2023 21:48 4m 20s
fix things CI testing #66: Commit c0c646b pushed by trolando
October 25, 2023 21:48 42s master
master
October 25, 2023 21:48 42s
Update compiler versions for GitHub Actions CI testing #65: Commit 0ea14c9 pushed by trolando
October 25, 2023 21:45 3m 59s master
master
October 25, 2023 21:45 3m 59s
Update compiler versions for GitHub Actions CI testing #64: Commit e49109d pushed by trolando
October 25, 2023 21:44 4m 35s master
master
October 25, 2023 21:44 4m 35s
Update compiler versions for GitHub Actions CI testing #63: Commit 15571d3 pushed by trolando
October 25, 2023 21:44 2m 49s master
master
October 25, 2023 21:44 2m 49s
Allow installing the Oink library and the solver CI testing #62: Commit dceb8d7 pushed by trolando
October 25, 2023 21:41 2m 53s master
master
October 25, 2023 21:41 2m 53s
Update README.md CI testing #61: Commit df3b84e pushed by trolando
September 28, 2023 16:26 5m 41s master
master
September 28, 2023 16:26 5m 41s
Added labels to counter_symsi CI testing #60: Commit c51ee3b pushed by trolando
July 25, 2023 13:48 10m 1s master
master
July 25, 2023 13:48 10m 1s
Improved order of edges in counterexample CI testing #59: Commit 2f430e7 pushed by trolando
July 25, 2023 13:43 6m 51s master
master
July 25, 2023 13:43 6m 51s
Counterexample of Matthew Maat for SSI generalized version CI testing #58: Commit 13ccfb3 pushed by trolando
July 25, 2023 13:26 17m 51s master
master
July 25, 2023 13:26 17m 51s