Skip to content

Actions: DES-Lab/AALpy

Actions

CodeQL

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql-analysis.yml
139 workflow runs
139 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

CodeQL CodeQL #420: Scheduled
December 2, 2023 10:26 2m 38s master
master
December 2, 2023 10:26 2m 38s
CodeQL CodeQL #419: Scheduled
November 25, 2023 10:26 2m 42s master
master
November 25, 2023 10:26 2m 42s
CodeQL CodeQL #418: Scheduled
November 18, 2023 10:26 2m 35s master
master
November 18, 2023 10:26 2m 35s
Use bisimilarity for testing deterministic algs CodeQL #417: Commit 239c858 pushed by zwergziege
November 14, 2023 10:02 2m 37s master
master
November 14, 2023 10:02 2m 37s
CodeQL CodeQL #416: Scheduled
November 11, 2023 10:26 2m 26s master
master
November 11, 2023 10:26 2m 26s
Simplified AutomataSUL file CodeQL #415: Pull request #55 synchronize by emuskardin
November 10, 2023 13:07 3m 34s simplify_AutomataSUL
simplify_AutomataSUL
November 10, 2023 13:07 3m 34s
Simplified AutomataSUL file CodeQL #414: Pull request #55 synchronize by zwergziege
November 10, 2023 11:15 3m 21s simplify_AutomataSUL
simplify_AutomataSUL
November 10, 2023 11:15 3m 21s
Simplified AutomataSUL file CodeQL #413: Pull request #55 opened by zwergziege
November 9, 2023 14:52 3m 23s simplify_AutomataSUL
simplify_AutomataSUL
November 9, 2023 14:52 3m 23s
update comments CodeQL #412: Commit 7691e98 pushed by emuskardin
November 9, 2023 14:35 2m 30s master
master
November 9, 2023 14:35 2m 30s
Merge remote-tracking branch 'origin/master' into master CodeQL #411: Commit 50c0564 pushed by emuskardin
November 9, 2023 14:32 2m 31s master
master
November 9, 2023 14:32 2m 31s
Removed unholy TODOs to satisfy my grateful master. May 3.11 never come! CodeQL #410: Commit c8fd5dd pushed by zwergziege
November 7, 2023 10:54 4m 23s master
master
November 7, 2023 10:54 4m 23s
added type hints for Automaton.copy and .from_state_setup CodeQL #409: Commit cbe71b1 pushed by zwergziege
November 7, 2023 09:09 3m 35s master
master
November 7, 2023 09:09 3m 35s
CodeQL CodeQL #408: Scheduled
November 4, 2023 10:26 3m 27s master
master
November 4, 2023 10:26 3m 27s
CodeQL CodeQL #407: Scheduled
October 28, 2023 10:25 3m 28s master
master
October 28, 2023 10:25 3m 28s