Skip to content

Actions: SECPS/TraVarT

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
36 workflow runs
36 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

removed duplicated method Java CI with Maven #34: Commit bad5693 pushed by coemgen1992
November 28, 2024 12:50 9s main
main
November 28, 2024 12:50 9s
clean code Java CI with Maven #33: Commit 33a562e pushed by coemgen1992
November 28, 2024 12:02 12s main
main
November 28, 2024 12:02 12s
update mvn compiler to java 21 Java CI with Maven #32: Commit 2d0c268 pushed by coemgen1992
November 28, 2024 11:44 11s main
main
November 28, 2024 11:44 11s
code formating Java CI with Maven #31: Commit e34ff15 pushed by coemgen1992
November 28, 2024 11:40 12s main
main
November 28, 2024 11:40 12s
Merge pull request #4 from 6b6279/dev Java CI with Maven #30: Commit b5dd9fe pushed by coemgen1992
November 28, 2024 05:42 9s main
main
November 28, 2024 05:42 9s
Fixes from TraVarT-kconfig Java CI with Maven #29: Pull request #4 synchronize by coemgen1992
November 28, 2024 05:37 12s 6b6279:dev
6b6279:dev
November 28, 2024 05:37 12s
Merge pull request #3 from JakobGretenkort/main Java CI with Maven #28: Commit 2a8c096 pushed by coemgen1992
August 22, 2024 05:32 2m 47s main
main
August 22, 2024 05:32 2m 47s
make verificationexception more modular Java CI with Maven #26: Commit d5e5008 pushed by DarioRomano
April 23, 2024 09:08 26s main
main
April 23, 2024 09:08 26s
introduced logger Java CI with Maven #25: Commit b96d152 pushed by DarioRomano
April 22, 2024 09:16 25s main
main
April 22, 2024 09:16 25s
cleaned up imports Java CI with Maven #24: Commit 8ab6925 pushed by DarioRomano
April 21, 2024 13:57 21s main
main
April 21, 2024 13:57 21s
added error trace for parsing errors and fix cardinality consts Java CI with Maven #23: Commit b15a322 pushed by DarioRomano
April 21, 2024 13:57 30s main
main
April 21, 2024 13:57 30s
add root <=> tree + constraints requirement Java CI with Maven #22: Commit 5ee9762 pushed by DarioRomano
April 12, 2024 15:30 36s main
main
April 12, 2024 15:30 36s
verifier function renamed and made more re-usable Java CI with Maven #21: Commit 6fc39a0 pushed by DarioRomano
March 15, 2024 17:29 25s main
main
March 15, 2024 17:29 25s
add errormessage to constraint parsing Java CI with Maven #20: Commit 459c6de pushed by DarioRomano
March 15, 2024 11:38 27s main
main
March 15, 2024 11:38 27s
fixed swapped negation symbols for verifier Java CI with Maven #19: Commit 5bacfc6 pushed by DarioRomano
March 15, 2024 10:47 28s main
main
March 15, 2024 10:47 28s
update doc for verifier Java CI with Maven #18: Commit 212e2a9 pushed by DarioRomano
March 12, 2024 07:00 30s main
main
March 12, 2024 07:00 30s
also model feature tree Java CI with Maven #17: Commit 36d63c3 pushed by DarioRomano
March 7, 2024 16:28 39s main
main
March 7, 2024 16:28 39s
add feature tree to verification Java CI with Maven #16: Commit 1e8e463 pushed by DarioRomano
February 20, 2024 11:52 20s main
main
February 20, 2024 11:52 20s
Merge branch 'main' of https://github.com/SECPS/TraVarT Java CI with Maven #15: Commit 9ef534f pushed by DarioRomano
February 20, 2024 09:15 21s main
main
February 20, 2024 09:15 21s
Update maven-publish.yml Java CI with Maven #14: Commit 69f5236 pushed by DarioRomano
February 20, 2024 09:02 39s main
main
February 20, 2024 09:02 39s
Update maven.yml Java CI with Maven #13: Commit 1bb7a27 pushed by DarioRomano
February 20, 2024 08:54 31s main
main
February 20, 2024 08:54 31s
Update maven.yml Java CI with Maven #12: Commit 66ff1bf pushed by DarioRomano
February 20, 2024 08:52 22s main
main
February 20, 2024 08:52 22s
Update maven.yml add artifact upload Java CI with Maven #11: Commit 5a6ce24 pushed by DarioRomano
February 20, 2024 08:50 28s main
main
February 20, 2024 08:50 28s
add verifier methods and classes, bump version Java CI with Maven #10: Commit 28d8b97 pushed by DarioRomano
February 20, 2024 08:38 38s main
main
February 20, 2024 08:38 38s
include license in jar Java CI with Maven #9: Commit aa164c1 pushed by DarioRomano
February 16, 2024 08:48 39s main
main
February 16, 2024 08:48 39s