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 #412: by github-pages Bot
1m 18s gh-pages
gh-pages
1m 18s
-hsc for CTL: libHSC's symbolic checker runs beside its-ctl and the P… Java CI with Maven #773: Commit 70d3e58 pushed by yanntm
12m 7s master
master
12m 7s
github_actions in /. - Update #1565166644 Dependabot Updates #375: by dependabot Bot
44s master
master
44s
pages build and deployment pages-build-deployment #411: by github-pages Bot
1m 31s gh-pages
gh-pages
1m 31s
NetBlocks: invalidate per block, so a dropped transition costs the ar… Java CI with Maven #772: Commit 4de73ff pushed by yanntm
10m 20s master
master
10m 20s
pages build and deployment pages-build-deployment #410: by github-pages Bot
1m 22s gh-pages
gh-pages
1m 22s
pages build and deployment pages-build-deployment #409: by github-pages Bot
1m 31s gh-pages
gh-pages
1m 31s
NetBlocks: record what removed constant places held (PDROP) instead o… Java CI with Maven #771: Commit beab0f1 pushed by yanntm
12m 0s master
master
12m 0s
pages build and deployment pages-build-deployment #408: by github-pages Bot
1m 22s gh-pages
gh-pages
1m 22s
NetBlocks: a constant place holding tokens is kept while a record is … Java CI with Maven #770: Commit 5f35ffc pushed by yanntm
10m 51s master
master
10m 51s
NetBlocks: block maintenance in its own file, the core classes only r… Java CI with Maven #769: Commit 525f47d pushed by yanntm
11m 45s master
master
11m 45s
pages build and deployment pages-build-deployment #407: by github-pages Bot
1m 26s gh-pages
gh-pages
1m 26s
pages build and deployment pages-build-deployment #406: by github-pages Bot
1m 18s gh-pages
gh-pages
1m 18s
HscRunner.runStateSpace: the four StateSpace values from libHSC on th… Java CI with Maven #768: Commit f7d1b32 pushed by yanntm
11m 50s master
master
11m 50s
Optional net blocks: NetBlock enum keyed EnumMap on SparsePetriNet (n… Java CI with Maven #767: Commit f6fc172 pushed by yanntm
10m 36s master
master
10m 36s
pages build and deployment pages-build-deployment #405: by github-pages Bot
1m 21s gh-pages
gh-pages
1m 21s
-hscBench / -hscBenchReduce: the libHSC engine alone right after the … Java CI with Maven #766: Commit 9b2f3fb pushed by yanntm
11m 26s master
master
11m 26s
pages build and deployment pages-build-deployment #404: by github-pages Bot
1m 20s gh-pages
gh-pages
1m 20s
gitignore: spotutil-linux64, downloaded like its siblings Java CI with Maven #765: Commit 1b324ff pushed by yanntm
11m 0s master
master
11m 0s
pages build and deployment pages-build-deployment #403: by github-pages Bot
1m 20s gh-pages
gh-pages
1m 20s
louvain: stream the graph out, delete the files a run leaves Java CI with Maven #764: Commit ddff127 pushed by yanntm
12m 9s master
master
12m 9s
pages build and deployment pages-build-deployment #402: by github-pages Bot
1m 32s gh-pages
gh-pages
1m 32s
native: the reflection the COL models of the GreatSPN Editor need Java CI with Maven #763: Commit ec055cb pushed by yanntm
10m 8s master
master
10m 8s
github_actions in /. - Update #1563085453 Dependabot Updates #374: by dependabot Bot
36s master
master
36s
pages build and deployment pages-build-deployment #401: by github-pages Bot
1m 19s gh-pages
gh-pages
1m 19s