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 #21 from aai-institute/adapt-logos Create and publish a Docker image for the workshop #12: Commit 2d4f547 pushed by turnmanh
June 24, 2024 14:04 1h 29m 43s main
main
June 24, 2024 14:04 1h 29m 43s
Merge pull request #21 from aai-institute/adapt-logos .github/workflows/test_and_render.yaml #39: Commit 2d4f547 pushed by turnmanh
June 24, 2024 14:04 2m 1s main
main
June 24, 2024 14:04 2m 1s
Adapt logos and heading .github/workflows/test_and_render.yaml #38: Pull request #21 opened by turnmanh
June 24, 2024 14:03 2m 37s adapt-logos
adapt-logos
June 24, 2024 14:03 2m 37s
Merge pull request #20 from aai-institute/adapt-logos .github/workflows/test_and_render.yaml #37: Commit 846357f pushed by turnmanh
March 24, 2024 14:34 2m 2s main
main
March 24, 2024 14:34 2m 2s
Merge pull request #20 from aai-institute/adapt-logos Create and publish a Docker image for the workshop #11: Commit 846357f pushed by turnmanh
March 24, 2024 14:34 1h 25m 9s main
main
March 24, 2024 14:34 1h 25m 9s
Adapt logos to new ci .github/workflows/test_and_render.yaml #36: Pull request #20 opened by turnmanh
March 24, 2024 14:34 2m 3s adapt-logos
adapt-logos
March 24, 2024 14:34 2m 3s
Merge pull request #19 from aai-institute/adapt-license .github/workflows/test_and_render.yaml #35: Commit 408c8b0 pushed by turnmanh
March 24, 2024 12:35 2m 9s main
main
March 24, 2024 12:35 2m 9s
Merge pull request #19 from aai-institute/adapt-license Create and publish a Docker image for the workshop #10: Commit 408c8b0 pushed by turnmanh
March 24, 2024 12:35 1h 25m 42s main
main
March 24, 2024 12:35 1h 25m 42s
Added note on license .github/workflows/test_and_render.yaml #34: Pull request #19 opened by turnmanh
March 24, 2024 12:35 2m 1s adapt-license
adapt-license
March 24, 2024 12:35 2m 1s
Merge pull request #18 from aai-institute/update-requirements Create and publish a Docker image for the workshop #9: Commit 77c1251 pushed by fariedabuzaid
February 19, 2024 15:55 1h 27m 23s main
main
February 19, 2024 15:55 1h 27m 23s
Merge pull request #18 from aai-institute/update-requirements .github/workflows/test_and_render.yaml #33: Commit 77c1251 pushed by fariedabuzaid
February 19, 2024 15:55 2m 13s main
main
February 19, 2024 15:55 2m 13s
Update requirements .github/workflows/test_and_render.yaml #32: Pull request #18 opened by fariedabuzaid
February 19, 2024 15:52 2m 3s update-requirements
update-requirements
February 19, 2024 15:52 2m 3s
Merge pull request #17 from aai-institute/update-pipelines Create and publish a Docker image for the workshop #8: Commit d82a7d5 pushed by fariedabuzaid
February 9, 2024 15:01 1h 36m 12s main
main
February 9, 2024 15:01 1h 36m 12s
Merge pull request #17 from aai-institute/update-pipelines .github/workflows/test_and_render.yaml #31: Commit d82a7d5 pushed by fariedabuzaid
February 9, 2024 15:01 2m 6s main
main
February 9, 2024 15:01 2m 6s
adopt pipelines to ghcr.io .github/workflows/test_and_render.yaml #30: Pull request #17 synchronize by fariedabuzaid
February 9, 2024 14:58 2m 29s update-pipelines
update-pipelines
February 9, 2024 14:58 2m 29s
adopt pipelines to ghcr.io .github/workflows/test_and_render.yaml #29: Pull request #17 opened by fariedabuzaid
February 9, 2024 14:53 2m 0s update-pipelines
update-pipelines
February 9, 2024 14:53 2m 0s
Merge pull request #16 from aai-institute/fariedabuzaid-patch-1 .github/workflows/test_and_render.yaml #28: Commit 1e269aa pushed by fariedabuzaid
February 9, 2024 14:37 12s main
main
February 9, 2024 14:37 12s
Merge pull request #16 from aai-institute/fariedabuzaid-patch-1 Build docker image with the presentation #16: Commit 1e269aa pushed by fariedabuzaid
February 9, 2024 14:37 22s main
main
February 9, 2024 14:37 22s
Merge pull request #16 from aai-institute/fariedabuzaid-patch-1 Create and publish a Docker image for the workshop #7: Commit 1e269aa pushed by fariedabuzaid
February 9, 2024 14:37 1h 29m 10s main
main
February 9, 2024 14:37 1h 29m 10s
Fix typos README.md .github/workflows/test_and_render.yaml #27: Pull request #16 opened by fariedabuzaid
February 9, 2024 14:37 12s fariedabuzaid-patch-1
fariedabuzaid-patch-1
February 9, 2024 14:37 12s
Merge pull request #15 from aai-institute/fariedabuzaid-patch-1 Build docker image with the presentation #15: Commit 519452b pushed by fariedabuzaid
February 9, 2024 13:45 1h 57m 0s main
main
February 9, 2024 13:45 1h 57m 0s
Merge pull request #15 from aai-institute/fariedabuzaid-patch-1 Create and publish a Docker image for the workshop #6: Commit 519452b pushed by fariedabuzaid
February 9, 2024 13:45 1h 52m 44s main
main
February 9, 2024 13:45 1h 52m 44s
Merge pull request #15 from aai-institute/fariedabuzaid-patch-1 .github/workflows/test_and_render.yaml #26: Commit 519452b pushed by fariedabuzaid
February 9, 2024 13:45 2m 44s main
main
February 9, 2024 13:45 2m 44s
Link video .github/workflows/test_and_render.yaml #25: Pull request #15 opened by fariedabuzaid
February 9, 2024 13:45 2m 47s fariedabuzaid-patch-1
fariedabuzaid-patch-1
February 9, 2024 13:45 2m 47s
Merge pull request #14 from aai-institute/fariedabuzaid-patch-1 Create and publish a Docker image for the workshop #5: Commit 1f0963b pushed by fariedabuzaid
February 9, 2024 13:24 1h 59m 28s main
main
February 9, 2024 13:24 1h 59m 28s