Skip to content

Actions: RipplB/theta

Actions

Check formatting

Actions

Loading...
Loading

Show workflow options

Create status badge

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