Skip to content

Actions: lip6/ITSTools

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
452 workflow runs
452 workflow runs

Filter by Workflow

⌥ + click/return to exclude

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
pages build and deployment pages-build-deployment #400: by github-pages Bot
1m 59s gh-pages
gh-pages
1m 59s
native: register the symmetric net Sort array type Java CI with Maven #762: Commit fcdae5b pushed by yanntm
11m 16s master
master
11m 16s
ltsmin: put --no-V back, the reduction is unsound without it Java CI with Maven #761: Commit 7f4113e pushed by yanntm
10m 58s master
master
10m 58s
pages build and deployment pages-build-deployment #399: by github-pages Bot
1m 29s gh-pages
gh-pages
1m 29s
native: register the InstanceDecl and Synchronization array types Java CI with Maven #760: Commit d929bfc pushed by yanntm
9m 43s master
master
9m 43s
pages build and deployment pages-build-deployment #398: by github-pages Bot
1m 26s gh-pages
gh-pages
1m 26s
ParallelWalk: the global verdict's abort exception (Liveness decided … Java CI with Maven #759: Commit 715a203 pushed by yanntm
11m 23s master
master
11m 23s
pages build and deployment pages-build-deployment #397: by github-pages Bot
1m 19s gh-pages
gh-pages
1m 19s
PetriSpot's explicit CTL checker beside its-ctl: SexprPropertyPrinter… Java CI with Maven #758: Commit 9b4e5c1 pushed by yanntm
9m 6s master
master
9m 6s
pages build and deployment pages-build-deployment #396: by github-pages Bot
1m 22s gh-pages
gh-pages
1m 22s
rebuild Java CI with Maven #757: Repository dispatch triggered by yanntm
11m 33s
11m 33s
Native image finds plugins/ beside its executable (the code source of… Java CI with Maven #756: Commit 54c9dba pushed by yanntm
4m 11s master
master
4m 11s
pages build and deployment pages-build-deployment #395: by github-pages Bot
1m 20s gh-pages
gh-pages
1m 20s
pages build and deployment pages-build-deployment #394: by github-pages Bot
1m 18s gh-pages
gh-pages
1m 18s
github_actions in / for actions/setup-java - Update #1561867892 Dependabot Updates #373: by dependabot Bot
34s master
master
34s
CI: actions on Node 24 (checkout v7, setup-java v6); the runner's own… Java CI with Maven #755: Commit 043bd1c pushed by yanntm
9m 27s master
master
9m 27s
Native image in the CI (setup-graalvm, build-native.sh, its-tools-nat… Java CI with Maven #754: Commit c6f632b pushed by yanntm
11m 38s master
master
11m 38s
pages build and deployment pages-build-deployment #393: by github-pages Bot
1m 15s gh-pages
gh-pages
1m 15s
ITS-commandline/native: GraalVM native-image build of the command lin… Java CI with Maven #753: Commit 3aec3d8 pushed by yanntm
6m 27s master
master
6m 27s
pages build and deployment pages-build-deployment #392: by github-pages Bot
1m 13s gh-pages
gh-pages
1m 13s
Binaries plugins: -Dfr.lip6.binaries.root=<plugins folder> names the … Java CI with Maven #752: Commit 08a3de1 pushed by yanntm
6m 35s master
master
6m 35s
pages build and deployment pages-build-deployment #391: by github-pages Bot
1m 17s gh-pages
gh-pages
1m 17s
its-tools-flat.sh: nested jars unpacked once into plugins-lib/ (atomi… Java CI with Maven #751: Commit ff0208e pushed by yanntm
5m 4s master
master
5m 4s
pages build and deployment pages-build-deployment #390: by github-pages Bot
1m 9s gh-pages
gh-pages
1m 9s
Flat classpath launch: its-tools-flat.sh in the Linux product (java -… Java CI with Maven #750: Commit f9e46d4 pushed by yanntm
7m 11s master
master
7m 11s