Skip to content

Actions: RipplB/theta

Actions

Check copyright

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Generalize abstractor, refiner, cegarchecker, visualizer Check copyright #205: Commit 9dd6759 pushed by RipplB
October 8, 2024 20:16 30s arg_decouple
arg_decouple
October 8, 2024 20:16 30s
init copy Check copyright #204: Commit e9b9d8f pushed by RipplB
October 3, 2024 21:41 34s ltl2
ltl2
October 3, 2024 21:41 34s
Merge pull request #296 from ftsrg/add-svcomp-flag Check copyright #203: Commit cb77d7e pushed by RipplB
October 3, 2024 07:44 34s master
master
October 3, 2024 07:44 34s
Added possibility to read LTL expression into a CFA object, which wor… Check copyright #202: Commit f6442fc pushed by RipplB
August 30, 2024 13:48 30s ltl2buchialt
ltl2buchialt
August 30, 2024 13:48 30s
ltl Check copyright #201: Commit f382dc1 pushed by RipplB
August 30, 2024 13:47 32s ltlalt
ltlalt
August 30, 2024 13:47 32s
Merge pull request #292 from RipplB/xsts-cli-clikt Check copyright #200: Commit 575544c pushed by RipplB
August 12, 2024 08:37 31s master
master
August 12, 2024 08:37 31s
Removed custom line breaks Check copyright #199: Commit 447943a pushed by mondokm
August 9, 2024 09:51 29s xsts-cli-clikt
xsts-cli-clikt
August 9, 2024 09:51 29s
Reformat file Check copyright #198: Commit 9d62408 pushed by mondokm
August 9, 2024 09:47 34s xsts-cli-clikt
xsts-cli-clikt
August 9, 2024 09:47 34s
Move pn_mdd-related parameter from common inputs, reformat code Check copyright #197: Commit 6eb1e4a pushed by mondokm
August 7, 2024 14:47 30s xsts-cli-clikt
xsts-cli-clikt
August 7, 2024 14:47 30s
Extract common printing Check copyright #196: Commit c846c51 pushed by mondokm
August 7, 2024 14:38 33s xsts-cli-clikt
xsts-cli-clikt
August 7, 2024 14:38 33s
Improve help message Check copyright #195: Commit 8d887ab pushed by mondokm
August 7, 2024 13:58 33s xsts-cli-clikt
xsts-cli-clikt
August 7, 2024 13:58 33s
Migrate XstsCli to Clikt Check copyright #194: Commit 33b8240 pushed by RipplB
August 7, 2024 08:43 31s xsts-cli-clikt
xsts-cli-clikt
August 7, 2024 08:43 31s
Migrate XstsCli to Clikt Check copyright #193: Commit 246169b pushed by RipplB
August 7, 2024 08:41 29s xsts-cli-clikt
xsts-cli-clikt
August 7, 2024 08:41 29s
Merge pull request #289 from ftsrg/xsts-chc Check copyright #192: Commit d94385a pushed by RipplB
August 7, 2024 08:40 33s master
master
August 7, 2024 08:40 33s
Migrate XstsCli to Clikt Check copyright #191: Commit 68ec577 pushed by RipplB
August 2, 2024 14:52 27s xsts-cli-clikt
xsts-cli-clikt
August 2, 2024 14:52 27s
Migrate XstsCli to Clikt Check copyright #190: Commit 6b6a4ae pushed by RipplB
August 2, 2024 14:21 33s xsts-cli-clikt
xsts-cli-clikt
August 2, 2024 14:21 33s
Migrate XstsCli to Clikt Check copyright #189: Commit 94a5b12 pushed by RipplB
August 2, 2024 13:59 34s xsts-cli-clikt
xsts-cli-clikt
August 2, 2024 13:59 34s
fixed maven-artifact Check copyright #188: Commit 4177646 pushed by RipplB
August 2, 2024 08:13 29s master
master
August 2, 2024 08:13 29s
Turns out we cannot comment on the PR either. Check copyright #187: Commit 4216e40 pushed by leventeBajczi
July 27, 2024 10:04 27s fix-formatting
fix-formatting
July 27, 2024 10:04 27s
make test-deploy action not fail if running from a fork Check copyright #186: Commit 61421ee pushed by leventeBajczi
July 27, 2024 09:36 31s fix-formatting
fix-formatting
July 27, 2024 09:36 31s
Fix actions that require java 17 Check copyright #185: Commit 5b2bcc5 pushed by RipplB
July 26, 2024 13:21 27s fix-formatting
fix-formatting
July 26, 2024 13:21 27s
Change all reference of codestyle to new path Check copyright #184: Commit aac5977 pushed by RipplB
July 26, 2024 13:13 32s fix-formatting
fix-formatting
July 26, 2024 13:13 32s
Change all reference of codestyle to new path Check copyright #183: Commit a77254e pushed by RipplB
July 26, 2024 13:05 32s fix-formatting
fix-formatting
July 26, 2024 13:05 32s
Merge pull request #283 from RipplB/qol Check copyright #182: Commit a77c3ad pushed by RipplB
July 24, 2024 11:35 33s master
master
July 24, 2024 11:35 33s
Upgrade gradle, kotlin, mockito, mockito-kt Check copyright #181: Commit e83249d pushed by RipplB
July 24, 2024 10:50 29s qol
qol
July 24, 2024 10:50 29s