Skip to content

Actions: FilippoFantinato/model-checking-and-synthesis-of-best-effort-strategies-for-safety-and-co-safety-ltl

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
6 workflow runs
6 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Build and deploy Build and deploy #6: Manually run by FilippoFantinato
October 2, 2024 09:29 2m 23s main
main
October 2, 2024 09:29 2m 23s
Updated github action Build and deploy #5: Commit 67284b7 pushed by FilippoFantinato
April 29, 2024 22:45 2m 12s main
main
April 29, 2024 22:45 2m 12s
Update build-deploy.yml Build and deploy #4: Commit f4b4146 pushed by FilippoFantinato
April 7, 2024 10:00 2m 31s main
main
April 7, 2024 10:00 2m 31s
Updated ci Build and deploy #3: Commit f2a5ef4 pushed by FilippoFantinato
April 7, 2024 09:46 2m 32s main
main
April 7, 2024 09:46 2m 32s
Update build-deploy.yml Build and deploy #2: Commit 3f46f1f pushed by FilippoFantinato
March 14, 2024 21:29 2m 21s main
main
March 14, 2024 21:29 2m 21s
Create build-deploy.yml Build and deploy #1: Commit b040e24 pushed by FilippoFantinato
March 14, 2024 21:25 1m 47s main
main
March 14, 2024 21:25 1m 47s