Skip to content

Actions: sws-lab/aktsp2025

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
7 workflow runs
7 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Lahenda modelcheck praktikumis ci #7: Commit 02d457f pushed by sim642
March 7, 2025 14:02 2m 59s labs
labs
March 7, 2025 14:02 2m 59s
Lisa modelcheck/program ci #6: Commit aea6f7f pushed by sim642
March 7, 2025 08:58 3m 1s master
master
March 7, 2025 08:58 3m 1s
Lahenda crashcourse hulgad praktikumis ci #5: Commit f641feb pushed by sim642
February 28, 2025 13:56 3m 0s labs
labs
February 28, 2025 13:56 3m 0s
Lisa fixpoint ci #4: Commit 06bdc0e pushed by sim642
February 28, 2025 08:47 7m 5s master
master
February 28, 2025 08:47 7m 5s
Lahenda crashcourse praktikumis ci #3: Commit cd524e5 pushed by sim642
February 21, 2025 14:11 6m 45s labs
labs
February 21, 2025 14:11 6m 45s
Lisa crashcourse ci #2: Commit 9469c26 pushed by sim642
February 10, 2025 10:44 6m 52s master
master
February 10, 2025 10:44 6m 52s
Lisa GitHub Actions ci #1: Commit 7454811 pushed by sim642
February 3, 2025 12:05 14m 13s master
master
February 3, 2025 12:05 14m 13s