Skip to content

Actions: bnediction/bonesis

Actions

Release

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
release.yml
9 workflow runs
9 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

be more liberal on Some/max_size argument type Release #18: Commit 155b625 pushed by pauleve
December 30, 2024 23:25 Failure master
master
December 30, 2024 23:25 Failure
conda: use flexible channel Release #17: Commit a40e7b4 pushed by pauleve
October 23, 2024 16:52 Failure master
master
October 23, 2024 16:52 Failure
add clingo 5.7 to tests Release #16: Commit 5ee4429 pushed by pauleve
October 23, 2024 16:44 Failure master
master
October 23, 2024 16:44 Failure
update actions Release #15: Commit fb2c7a5 pushed by pauleve
October 23, 2024 16:36 Failure master
master
October 23, 2024 16:36 Failure
0.6.7 Release #14: Release v0.6.7 published by pauleve
October 22, 2024 20:46 2m 14s
October 22, 2024 20:46 2m 14s
v0.6.6 Release #13: Release v0.6.6 published by pauleve
August 28, 2024 14:02 2m 39s
August 28, 2024 14:02 2m 39s
v0.6.5 Release #12: Release v0.6.5 published by pauleve
March 28, 2024 14:48 2m 34s
March 28, 2024 14:48 2m 34s
0.6.1 Release #11: Release v0.6.1 published by pauleve
December 21, 2023 15:29 3m 9s
December 21, 2023 15:29 3m 9s
0.6: CEGAR-based trapspace reprogramming Release #10: Release v0.6.0 published by pauleve
November 28, 2023 09:14 7m 29s
November 28, 2023 09:14 7m 29s