Skip to content

Actions: luth1um/timed-automata-analysis

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
54 workflow runs
54 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

updated dependencies CI pipeline #37: Commit 1bd2952 pushed by luth1um
November 3, 2024 14:26 8m 20s main
main
November 3, 2024 14:26 8m 20s
updated dependencies CI pipeline #36: Commit 4eed8ed pushed by luth1um
October 26, 2024 11:33 8m 9s main
main
October 26, 2024 11:33 8m 9s
updated linters and fixed linting errors CI pipeline #35: Commit 13c0cca pushed by luth1um
October 12, 2024 10:20 8m 14s main
main
October 12, 2024 10:20 8m 14s
updated dependencies CI pipeline #34: Commit 3317b27 pushed by luth1um
October 12, 2024 10:04 8m 4s main
main
October 12, 2024 10:04 8m 4s
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