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

pages build and deployment pages-build-deployment #11: by github-pages bot
September 29, 2024 10:14 36s
September 29, 2024 10:14 36s
v2.0.1 CI pipeline #33: Commit 5cca1aa pushed by luth1um
September 29, 2024 10:06 7m 36s main
main
September 29, 2024 10:06 7m 36s
v2.0.1 CI pipeline #32: Commit 5cca1aa pushed by luth1um
September 29, 2024 10:06 8m 16s release
release
September 29, 2024 10:06 8m 16s
updated dependencies CI pipeline #31: Commit 3b5cc5f pushed by luth1um
September 29, 2024 10:04 8m 24s main
main
September 29, 2024 10:04 8m 24s
updated dependencies CI pipeline #30: Commit 200288c pushed by luth1um
September 28, 2024 09:21 8m 28s main
main
September 28, 2024 09:21 8m 28s
pages build and deployment pages-build-deployment #10: by github-pages bot
September 3, 2024 10:42 38s
September 3, 2024 10:42 38s
v2.0.0 CI pipeline #29: Commit 25ec4e6 pushed by luth1um
September 3, 2024 10:34 8m 13s release
release
September 3, 2024 10:34 8m 13s
v2.0.0 CI pipeline #28: Commit 25ec4e6 pushed by luth1um
September 3, 2024 10:34 7m 18s main
main
September 3, 2024 10:34 7m 18s
added reset button CI pipeline #27: Commit 13e3fcb pushed by luth1um
September 3, 2024 10:29 7m 41s main
main
September 3, 2024 10:29 7m 41s
updated dependencies CI pipeline #26: Commit a083f75 pushed by luth1um
September 2, 2024 14:44 7m 52s main
main
September 2, 2024 14:44 7m 52s
pages build and deployment pages-build-deployment #9: by luth1um
August 30, 2024 14:42 36s
August 30, 2024 14:42 36s
updated dependencies CI pipeline #25: Commit d93f7a6 pushed by luth1um
August 30, 2024 14:42 7m 31s main
main
August 30, 2024 14:42 7m 31s
added note to analysis CI pipeline #24: Commit ba1f393 pushed by luth1um
August 30, 2024 11:06 6m 38s main
main
August 30, 2024 11:06 6m 38s
updated dependencies CI pipeline #23: Commit d810ec6 pushed by luth1um
August 30, 2024 10:19 7m 17s main
main
August 30, 2024 10:19 7m 17s
Integrate WebAssembly analyzer (#3) CI pipeline #22: Commit 06e5a0c pushed by luth1um
August 30, 2024 10:13 7m 34s main
main
August 30, 2024 10:13 7m 34s
Integrate WebAssembly analyzer CI pipeline #21: Pull request #3 opened by luth1um
August 30, 2024 10:04 7m 44s integrate-wasm-analyzer
integrate-wasm-analyzer
August 30, 2024 10:04 7m 44s
added E2E tests for reachability analysis CI pipeline #20: Commit 138a43a pushed by luth1um
August 30, 2024 09:58 1m 15s integrate-wasm-analyzer
integrate-wasm-analyzer
August 30, 2024 09:58 1m 15s
typos CI pipeline #19: Commit 8fd4b2e pushed by luth1um
August 29, 2024 17:00 1m 27s integrate-wasm-analyzer
integrate-wasm-analyzer
August 29, 2024 17:00 1m 27s
pages build and deployment pages-build-deployment #8: by luth1um
August 29, 2024 16:53 43s
August 29, 2024 16:53 43s
restricted invariants to always be downward closed CI pipeline #18: Commit 7d256b0 pushed by luth1um
August 29, 2024 16:52 1m 20s integrate-wasm-analyzer
integrate-wasm-analyzer
August 29, 2024 16:52 1m 20s
added reachability check to UI CI pipeline #17: Commit fe6dfb1 pushed by luth1um
August 29, 2024 16:38 1m 25s integrate-wasm-analyzer
integrate-wasm-analyzer
August 29, 2024 16:38 1m 25s
added configurations and mapper for integration WebAssembly analyzer CI pipeline #16: Commit 106a58c pushed by luth1um
August 28, 2024 13:38 2m 1s integrate-wasm-analyzer
integrate-wasm-analyzer
August 28, 2024 13:38 2m 1s
updated outdated lock file CI pipeline #15: Commit 47b8cc5 pushed by luth1um
August 19, 2024 16:20 6m 45s main
main
August 19, 2024 16:20 6m 45s
updated dependencies CI pipeline #14: Commit e46d95f pushed by luth1um
August 15, 2024 07:34 6m 56s main
main
August 15, 2024 07:34 6m 56s
removed deprecated lines CI pipeline #13: Commit 7306387 pushed by luth1um
August 14, 2024 17:00 6m 23s main
main
August 14, 2024 17:00 6m 23s