Skip to content

Actions: luth1um/timed-automata-analysis

Actions

CI pipeline

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
pipeline.yaml
35 workflow runs
35 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
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
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
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
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