Skip to content

Actions: RipplB/theta

Actions

Check copyright

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
check-copyright.yml
208 workflow runs
208 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Try with prime foldin Check copyright #55: Commit 2cdce3f pushed by RipplB
October 27, 2023 14:50 31s tdk
tdk
October 27, 2023 14:50 31s
Log failed unfold Check copyright #54: Commit f7de6eb pushed by RipplB
October 27, 2023 14:22 27s tdk
tdk
October 27, 2023 14:22 27s
fix benchmark printings Check copyright #53: Commit 186aab4 pushed by RipplB
October 27, 2023 13:34 27s tdk
tdk
October 27, 2023 13:34 27s
Temporarily removed waitlist test Check copyright #52: Commit cbaf437 pushed by mondokm
October 27, 2023 12:18 29s tdk
tdk
October 27, 2023 12:18 29s
Replaced --ltl switch with algorithm switch Check copyright #51: Commit b90a989 pushed by mondokm
October 27, 2023 11:59 32s tdk
tdk
October 27, 2023 11:59 32s
ready for benchmark Check copyright #50: Commit 093e5e3 pushed by RipplB
October 26, 2023 21:38 29s tdk
tdk
October 26, 2023 21:38 29s
enum things Check copyright #49: Commit c1c0d8e pushed by RipplB
October 26, 2023 17:49 26s tdk
tdk
October 26, 2023 17:49 26s
ton of changes Check copyright #48: Commit 5ae2e10 pushed by RipplB
October 24, 2023 15:07 31s tdk
tdk
October 24, 2023 15:07 31s