Skip to content

Actions: DES-Lab/AALpy

CodeQL

Actions

Loading...

Show workflow options

Create status badge

168 workflow runs
168 workflow runs
Event

Filter by event

Status

Filter by status

Branch
Actor

Filter by actor

CodeQL
CodeQL #476: Scheduled
May 18, 2024 10:27 2m 28s master
May 18, 2024 10:27 2m 28s
CodeQL
CodeQL #475: Scheduled
May 11, 2024 10:28 2m 22s master
May 11, 2024 10:28 2m 22s
CodeQL
CodeQL #474: Scheduled
May 4, 2024 10:26 2m 21s master
May 4, 2024 10:26 2m 21s
CodeQL
CodeQL #473: Scheduled
April 27, 2024 10:28 2m 28s master
April 27, 2024 10:28 2m 28s
bump version
CodeQL #472: Commit 58b1448 pushed by emuskardin
April 26, 2024 09:03 2m 14s master
April 26, 2024 09:03 2m 14s
make random generation of stochastic models less restrictive
CodeQL #471: Commit d65dab6 pushed by emuskardin
April 24, 2024 11:21 2m 34s master
April 24, 2024 11:21 2m 34s
CodeQL
CodeQL #470: Scheduled
April 20, 2024 10:27 2m 12s master
April 20, 2024 10:27 2m 12s
CodeQL
CodeQL #469: Scheduled
April 13, 2024 10:24 2m 38s master
April 13, 2024 10:24 2m 38s
CodeQL
CodeQL #468: Scheduled
April 6, 2024 10:26 2m 21s master
April 6, 2024 10:26 2m 21s
CodeQL
CodeQL #467: Scheduled
March 30, 2024 10:26 2m 16s master
March 30, 2024 10:26 2m 16s
CodeQL
CodeQL #466: Scheduled
March 23, 2024 10:26 2m 24s master
March 23, 2024 10:26 2m 24s
update example file syntax
CodeQL #465: Commit 0ee6f55 pushed by emuskardin
March 19, 2024 11:48 2m 29s master
March 19, 2024 11:48 2m 29s
make MDPs follow "label" file syntax
CodeQL #464: Commit 6a43236 pushed by emuskardin
March 19, 2024 11:46 2m 33s master
March 19, 2024 11:46 2m 33s
Missed a detail in regex for loading
CodeQL #463: Commit b419a65 pushed by zwergziege
March 19, 2024 11:15 2m 26s master
March 19, 2024 11:15 2m 26s
Fixed regex for unquoted labels in FileHandler (hopefully)
CodeQL #462: Commit 14738e1 pushed by zwergziege
March 19, 2024 10:22 2m 31s master
March 19, 2024 10:22 2m 31s
added SUL.io_query for convenience
CodeQL #461: Commit a687458 pushed by zwergziege
March 18, 2024 17:16 2m 31s master
March 18, 2024 17:16 2m 31s
CodeQL
CodeQL #460: Scheduled
March 16, 2024 10:26 2m 22s master
March 16, 2024 10:26 2m 22s
make 600x faster loading default.
CodeQL #459: Commit b75813a pushed by emuskardin
March 15, 2024 13:21 2m 23s master
March 15, 2024 13:21 2m 23s
speed up model loading x100
CodeQL #458: Commit e1ce2f2 pushed by emuskardin
March 14, 2024 18:34 2m 35s master
March 14, 2024 18:34 2m 35s
CodeQL
CodeQL #457: Scheduled
March 9, 2024 10:29 2m 18s master
March 9, 2024 10:29 2m 18s
optimize KV
CodeQL #456: Commit 072931d pushed by emuskardin
March 5, 2024 17:25 2m 21s master
March 5, 2024 17:25 2m 21s
optimize KV
CodeQL #455: Commit 8b5c6d8 pushed by emuskardin
March 5, 2024 17:21 2m 40s master
March 5, 2024 17:21 2m 40s
CodeQL
CodeQL #454: Scheduled
March 2, 2024 10:25 2m 27s master
March 2, 2024 10:25 2m 27s
CodeQL
CodeQL #453: Scheduled
February 24, 2024 10:28 2m 18s master
February 24, 2024 10:28 2m 18s
CodeQL
CodeQL #452: Scheduled
February 17, 2024 10:25 2m 22s master
February 17, 2024 10:25 2m 22s