Skip to content

Actions: luth1um/timed-automata-analysis

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
50 workflow runs
50 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

updated job dependencies CI pipeline #12: Commit 6cb1e94 pushed by luth1um
August 10, 2024 16:53 6m 2s main
main
August 10, 2024 16:53 6m 2s
v1.0.0 CI pipeline #11: Commit b0628af pushed by luth1um
August 10, 2024 16:43 6m 48s release
release
August 10, 2024 16:43 6m 48s
updated job dependencies CI pipeline #10: Commit 70a8bc2 pushed by luth1um
August 10, 2024 16:42 6m 13s main
main
August 10, 2024 16:42 6m 13s
pages build and deployment pages-build-deployment #7: by github-pages bot
August 10, 2024 16:39 39s
August 10, 2024 16:39 39s
add write permissions for deployment CI pipeline #9: Commit 0f8c5d9 pushed by luth1um
August 10, 2024 16:37 7m 8s release
release
August 10, 2024 16:37 7m 8s
add write permissions for deployment CI pipeline #8: Commit 0f8c5d9 pushed by luth1um
August 10, 2024 16:37 6m 32s main
main
August 10, 2024 16:37 6m 32s
deployment job CI pipeline #6: Commit 219adc2 pushed by luth1um
August 10, 2024 16:30 6m 7s main
main
August 10, 2024 16:30 6m 7s
added deployment job CI pipeline #4: Commit 6fce033 pushed by luth1um
August 10, 2024 16:17 6m 41s main
main
August 10, 2024 16:17 6m 41s
Pipeline test CI pipeline #3: Pull request #2 opened by luth1um
August 10, 2024 15:37 6m 55s pull-request-test
pull-request-test
August 10, 2024 15:37 6m 55s
some change to test pipeline on pull requests CI pipeline #2: Commit 56a3227 pushed by luth1um
August 10, 2024 15:34 1m 9s pull-request-test
pull-request-test
August 10, 2024 15:34 1m 9s
renamed pipeline CI pipeline #1: Commit 567a65c pushed by luth1um
August 10, 2024 15:16 6m 30s main
main
August 10, 2024 15:16 6m 30s
CI Pipeline CI Pipeline #10: Manually run by luth1um
August 10, 2024 15:10 6m 12s actions-test
actions-test
August 10, 2024 15:10 6m 12s
allow manual execution of E2E tests CI Pipeline #9: Commit 8b78c91 pushed by luth1um
August 10, 2024 15:05 4s actions-test
actions-test
August 10, 2024 15:05 4s
allow manual execution of E2E tests CI Pipeline #8: Commit 8b78c91 pushed by luth1um
August 10, 2024 15:03 7m 16s main
main
August 10, 2024 15:03 7m 16s
allow manual execution of E2E tests CI Pipeline #7: Commit 4a8070e pushed by luth1um
August 10, 2024 14:53 4s actions-test
actions-test
August 10, 2024 14:53 4s
allow manual execution of E2E tests CI Pipeline #6: Commit 4a8070e pushed by luth1um
August 10, 2024 14:51 6m 21s main
main
August 10, 2024 14:51 6m 21s
only execute E2E tests on main, release branches, and PRs CI Pipeline #5: Commit ec31fca pushed by luth1um
August 10, 2024 14:49 6m 9s main
main
August 10, 2024 14:49 6m 9s
run E2E tests only after build and test CI Pipeline #4: Commit c90061d pushed by luth1um
August 10, 2024 14:38 6m 16s main
main
August 10, 2024 14:38 6m 16s
install Playwright dependencies for E2E tests CI Pipeline #3: Commit 2866838 pushed by luth1um
August 10, 2024 14:27 5m 59s main
main
August 10, 2024 14:27 5m 59s
pages build and deployment pages-build-deployment #6: by luth1um
August 4, 2024 11:31 41s
August 4, 2024 11:31 41s
pages build and deployment pages-build-deployment #5: by luth1um
July 28, 2024 15:36 41s
July 28, 2024 15:36 41s
pages build and deployment pages-build-deployment #4: by luth1um
June 30, 2024 09:26 36s
June 30, 2024 09:26 36s
pages build and deployment pages-build-deployment #3: by luth1um
June 16, 2024 14:12 41s
June 16, 2024 14:12 41s
pages build and deployment pages-build-deployment #2: by luth1um
June 9, 2024 14:55 43s
June 9, 2024 14:55 43s
pages build and deployment pages-build-deployment #1: by luth1um
June 2, 2024 15:49 42s
June 2, 2024 15:49 42s