Skip to content

Actions: DES-Lab/AALpy

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
369 workflow runs
369 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
remove duplicate function Python application #299: Commit 67f3232 pushed by emuskardin
December 20, 2023 10:20 27s master
master
December 20, 2023 10:20 27s
remove duplicate function CodeQL #436: Commit 67f3232 pushed by emuskardin
December 20, 2023 10:20 2m 37s master
master
December 20, 2023 10:20 2m 37s
pages build and deployment pages-build-deployment #186: by emuskardin
December 20, 2023 10:20 44s
December 20, 2023 10:20 44s
pages build and deployment pages-build-deployment #185: by emuskardin
December 20, 2023 10:11 46s
December 20, 2023 10:11 46s
add == operator for deterministic automata Python application #298: Commit a4f3081 pushed by emuskardin
December 20, 2023 10:11 26s master
master
December 20, 2023 10:11 26s
add == operator for deterministic automata CodeQL #435: Commit a4f3081 pushed by emuskardin
December 20, 2023 10:11 2m 44s master
master
December 20, 2023 10:11 2m 44s
update Examples.py CodeQL #434: Commit 1b2c09f pushed by emuskardin
December 20, 2023 10:08 2m 42s master
master
December 20, 2023 10:08 2m 42s
update Examples.py Python application #297: Commit 1b2c09f pushed by emuskardin
December 20, 2023 10:08 25s master
master
December 20, 2023 10:08 25s
pages build and deployment pages-build-deployment #184: by emuskardin
December 20, 2023 10:08 49s
December 20, 2023 10:08 49s
pages build and deployment pages-build-deployment #183: by emuskardin
December 20, 2023 10:05 47s
December 20, 2023 10:05 47s
update comments on available cex processing methods Python application #296: Commit c66d350 pushed by emuskardin
December 20, 2023 10:05 25s master
master
December 20, 2023 10:05 25s
update comments on available cex processing methods CodeQL #433: Commit c66d350 pushed by emuskardin
December 20, 2023 10:05 2m 43s master
master
December 20, 2023 10:05 2m 43s
remove documentation as it is just a code proxy, and it is covered by… CodeQL #432: Commit 236c0e7 pushed by emuskardin
December 18, 2023 15:22 2m 43s master
master
December 18, 2023 15:22 2m 43s
remove documentation as it is just a code proxy, and it is covered by… Python application #295: Commit 236c0e7 pushed by emuskardin
December 18, 2023 15:22 18s master
master
December 18, 2023 15:22 18s
pages build and deployment pages-build-deployment #182: by emuskardin
December 18, 2023 15:22 44s
December 18, 2023 15:22 44s
CodeQL CodeQL #431: Scheduled
December 16, 2023 10:27 2m 36s master
master
December 16, 2023 10:27 2m 36s
pages build and deployment pages-build-deployment #181: by emuskardin
December 15, 2023 13:47 2m 32s
December 15, 2023 13:47 2m 32s
remove redundant parameter from KV visualization Python application #294: Commit 7dc15e1 pushed by emuskardin
December 15, 2023 13:47 21s master
master
December 15, 2023 13:47 21s
remove redundant parameter from KV visualization CodeQL #430: Commit 7dc15e1 pushed by emuskardin
December 15, 2023 13:47 2m 37s master
master
December 15, 2023 13:47 2m 37s
Merge remote-tracking branch 'origin/master' into master Python application #293: Commit 5256263 pushed by emuskardin
December 13, 2023 15:19 26s master
master
December 13, 2023 15:19 26s
Merge remote-tracking branch 'origin/master' into master CodeQL #429: Commit 5256263 pushed by emuskardin
December 13, 2023 15:19 2m 44s master
master
December 13, 2023 15:19 2m 44s
pages build and deployment pages-build-deployment #180: by emuskardin
December 13, 2023 15:19 57s
December 13, 2023 15:19 57s
Merge pull request #55 from DES-Lab/simplify_AutomataSUL Python application #292: Commit 9d07f5d pushed by emuskardin
December 13, 2023 14:19 22s master
master
December 13, 2023 14:19 22s
Merge pull request #55 from DES-Lab/simplify_AutomataSUL CodeQL #428: Commit 9d07f5d pushed by emuskardin
December 13, 2023 14:19 2m 39s master
master
December 13, 2023 14:19 2m 39s
pages build and deployment pages-build-deployment #179: by emuskardin
December 13, 2023 14:19 54s
December 13, 2023 14:19 54s