Skip to content

Actions: aai-institute/tfl-training-probabilistic-model-checking

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
63 workflow runs
63 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #14 from aai-institute/fariedabuzaid-patch-1 Build docker image with the presentation #14: Commit 1f0963b pushed by fariedabuzaid
February 9, 2024 13:24 1h 56m 56s main
main
February 9, 2024 13:24 1h 56m 56s
Merge pull request #14 from aai-institute/fariedabuzaid-patch-1 .github/workflows/test_and_render.yaml #24: Commit 1f0963b pushed by fariedabuzaid
February 9, 2024 13:24 2m 38s main
main
February 9, 2024 13:24 2m 38s
Update installation instructions .github/workflows/test_and_render.yaml #23: Pull request #14 opened by fariedabuzaid
February 9, 2024 13:24 2m 52s fariedabuzaid-patch-1
fariedabuzaid-patch-1
February 9, 2024 13:24 2m 52s
Merge pull request #13 from aai-institute/bugfix/remove-secret .github/workflows/test_and_render.yaml #22: Commit 0d2f76f pushed by fariedabuzaid
February 9, 2024 10:14 3m 6s main
main
February 9, 2024 10:14 3m 6s
Merge pull request #13 from aai-institute/bugfix/remove-secret Create and publish a Docker image for the workshop #4: Commit 0d2f76f pushed by fariedabuzaid
February 9, 2024 10:14 1h 57m 45s main
main
February 9, 2024 10:14 1h 57m 45s
Merge pull request #13 from aai-institute/bugfix/remove-secret Build docker image with the presentation #13: Commit 0d2f76f pushed by fariedabuzaid
February 9, 2024 10:14 1h 55m 0s main
main
February 9, 2024 10:14 1h 55m 0s
Remove participant secret from build .github/workflows/test_and_render.yaml #21: Pull request #13 opened by fariedabuzaid
February 9, 2024 10:07 2m 52s bugfix/remove-secret
bugfix/remove-secret
February 9, 2024 10:07 2m 52s
Merge pull request #12 from aai-institute/add-slides Build docker image with the presentation #12: Commit 9bfc068 pushed by fariedabuzaid
February 8, 2024 13:37 1h 54m 9s main
main
February 8, 2024 13:37 1h 54m 9s
Merge pull request #12 from aai-institute/add-slides Create and publish a Docker image for the workshop #3: Commit 9bfc068 pushed by fariedabuzaid
February 8, 2024 13:37 58s main
main
February 8, 2024 13:37 58s
Merge pull request #12 from aai-institute/add-slides .github/workflows/test_and_render.yaml #20: Commit 9bfc068 pushed by fariedabuzaid
February 8, 2024 13:37 2m 52s main
main
February 8, 2024 13:37 2m 52s
Add slides .github/workflows/test_and_render.yaml #19: Pull request #12 opened by fariedabuzaid
February 8, 2024 11:08 2m 39s add-slides
add-slides
February 8, 2024 11:08 2m 39s
Merge pull request #11 from aai-institute/no-cache-pipelines Build docker image with the presentation #11: Commit 86f9a8f pushed by fariedabuzaid
February 8, 2024 11:07 1h 48m 48s main
main
February 8, 2024 11:07 1h 48m 48s
Merge pull request #11 from aai-institute/no-cache-pipelines .github/workflows/test_and_render.yaml #18: Commit 86f9a8f pushed by fariedabuzaid
February 8, 2024 11:07 2m 44s main
main
February 8, 2024 11:07 2m 44s
Merge pull request #11 from aai-institute/no-cache-pipelines Create and publish a Docker image for the workshop #2: Commit 86f9a8f pushed by fariedabuzaid
February 8, 2024 11:07 52s main
main
February 8, 2024 11:07 52s
Build docker image with the presentation Build docker image with the presentation #10: Manually run by fariedabuzaid
February 7, 2024 22:21 1h 33m 18s no-cache-pipelines
no-cache-pipelines
February 7, 2024 22:21 1h 33m 18s
add no-cache to build action .github/workflows/test_and_render.yaml #17: Pull request #11 opened by fariedabuzaid
February 7, 2024 22:19 3m 24s no-cache-pipelines
no-cache-pipelines
February 7, 2024 22:19 3m 24s
create docker publish workflow .github/workflows/test_and_render.yaml #16: Commit 2e2ea60 pushed by fariedabuzaid
February 7, 2024 22:11 2m 43s main
main
February 7, 2024 22:11 2m 43s
create docker publish workflow Create and publish a Docker image for the workshop #1: Commit 2e2ea60 pushed by fariedabuzaid
February 7, 2024 22:11 52s main
main
February 7, 2024 22:11 52s
create docker publish workflow Build docker image with the presentation #9: Commit 2e2ea60 pushed by fariedabuzaid
February 7, 2024 22:11 2m 18s main
main
February 7, 2024 22:11 2m 18s
Build docker image with the presentation Build docker image with the presentation #8: Manually run by fariedabuzaid
February 7, 2024 10:50 2m 31s main
main
February 7, 2024 10:50 2m 31s
Build docker image with the presentation Build docker image with the presentation #7: Manually run by fariedabuzaid
February 6, 2024 14:50 2m 34s main
main
February 6, 2024 14:50 2m 34s
Merge pull request #7 from aai-institute/add-content .github/workflows/test_and_render.yaml #15: Commit 330051b pushed by fariedabuzaid
January 19, 2024 15:37 3m 15s main
main
January 19, 2024 15:37 3m 15s
Merge pull request #7 from aai-institute/add-content Build docker image with the presentation #6: Commit 330051b pushed by fariedabuzaid
January 19, 2024 15:37 2m 47s main
main
January 19, 2024 15:37 2m 47s
Adopt workshop .github/workflows/test_and_render.yaml #14: Pull request #7 synchronize by fariedabuzaid
January 19, 2024 15:34 2m 54s add-content
add-content
January 19, 2024 15:34 2m 54s
Adopt workshop .github/workflows/test_and_render.yaml #13: Pull request #7 synchronize by fariedabuzaid
January 19, 2024 15:30 2m 53s add-content
add-content
January 19, 2024 15:30 2m 53s