Skip to content

Actions: lip6/ITSTools

Actions

Java CI with Maven

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
53 workflow runs
53 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
hopefully last issues with indexes... Java CI with Maven #720: Commit 5047b34 pushed by yanntm
6m 11s master
master
6m 11s
more thorough cover walking (10 seconds), with more resets. Java CI with Maven #719: Commit 529eb06 pushed by yanntm
5m 52s master
master
5m 52s
better comments + neg are expected Java CI with Maven #718: Commit 9c11570 pushed by yanntm
6m 36s master
master
6m 36s
typo Java CI with Maven #717: Commit bf37fb4 pushed by yanntm
5m 11s master
master
5m 11s
skip rows with overlarge values. Java CI with Maven #716: Commit ab5cc5b pushed by yanntm
4m 16s master
master
4m 16s
runner API : todel list Java CI with Maven #715: Commit ab1d4af pushed by yanntm
5m 44s master
master
5m 44s
runner API : todel list Java CI with Maven #714: Commit cc8bbc7 pushed by yanntm
4m 24s master
master
4m 24s
Now using pins2lts-seq until issues are resolved with mc Java CI with Maven #713: Commit dd4857f pushed by yanntm
5m 38s master
master
5m 38s
small changes to enable better debugging of LTSmin calls Java CI with Maven #712: Commit 1ce069d pushed by yanntm
4m 5s master
master
4m 5s
require the petrispot runner Java CI with Maven #711: Commit 05048bc pushed by yanntm
6m 21s master
master
6m 21s
reduce the verbosity of Trap detection with SMT. Java CI with Maven #710: Commit 294c9b4 pushed by yanntm
7m 31s master
master
7m 31s
discarding dead code : manual Knowledge loop ; Spot 2.11 loop. Java CI with Maven #709: Commit 6f9b080 pushed by yanntm
7m 3s master
master
7m 3s
Finally : the new Knowledge integration loop is delivered. Java CI with Maven #708: Commit 669d261 pushed by yanntm
7m 1s master
master
7m 1s
light API changes around invariants Java CI with Maven #707: Commit a71825f pushed by yanntm
7m 58s master
master
7m 58s
lip6 url have changed Java CI with Maven #706: Commit a092fec pushed by yanntm
4m 23s master
master
4m 23s
major refactoring : Knowledge for LTL gets its own package. Java CI with Maven #705: Commit 1d85210 pushed by yanntm
3m 22s master
master
3m 22s
now delegating all invariants to C++ version. Java CI with Maven #704: Commit 99718c1 pushed by yanntm
4m 12s master
master
4m 12s
integration test ok Java CI with Maven #703: Commit ace599e pushed by yanntm
6m 22s master
master
6m 22s
progress wrapper and use KERS v2 Java CI with Maven #702: Commit eeee649 pushed by yanntm
5m 36s master
master
5m 36s
Wrapper for PetriSpot. Still WIP Java CI with Maven #701: Commit 398c3ea pushed by yanntm
6m 12s master
master
6m 12s
a PetriSpot wrapper Java CI with Maven #700: Commit 637f7e8 pushed by yanntm
6m 19s master
master
6m 19s
redundant comment dropped Java CI with Maven #699: Commit ce48f70 pushed by yanntm
5m 38s master
master
5m 38s
more java 21 Java CI with Maven #698: Commit 7de74e2 pushed by yanntm
4m 57s master
master
4m 57s
bumping/dropping explicit Xtext versions in Manifest: pom configures it Java CI with Maven #697: Commit f5a765d pushed by yanntm
5m 7s master
master
5m 7s
M2E preferences (generated) Java CI with Maven #696: Commit 4ba0e2c pushed by yanntm
4m 15s master
master
4m 15s