Skip to content

Actions: katef/libfsm

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
422 workflow runs
422 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

WIP further further CI #1254: Commit 7fc64f4 pushed by silentbicycle
January 23, 2025 22:10 1m 31s sv/test-ci-build
sv/test-ci-build
January 23, 2025 22:10 1m 31s
WIP further CI #1253: Commit 2a65ce1 pushed by silentbicycle
January 23, 2025 21:53 1m 22s sv/test-ci-build
sv/test-ci-build
January 23, 2025 21:53 1m 22s
WIP override CC=clang-14 for AUSAN, don't use CC ?= CI #1252: Commit 6148a6e pushed by silentbicycle
January 23, 2025 21:51 1m 47s sv/test-ci-build
sv/test-ci-build
January 23, 2025 21:51 1m 47s
WIP set CC at a different layer. CI #1251: Commit e345105 pushed by silentbicycle
January 23, 2025 21:29 1m 13s sv/test-ci-build
sv/test-ci-build
January 23, 2025 21:29 1m 13s
WIP: attempt using clang-14 for AUSAN in CI. CI #1250: Commit 5573b5e pushed by silentbicycle
January 23, 2025 20:57 1m 38s sv/test-ci-build
sv/test-ci-build
January 23, 2025 20:57 1m 38s
DO NOT MERGE. whitespace change to trigger build. CI #1249: Commit ddfafd9 pushed by silentbicycle
January 23, 2025 19:34 1m 36s sv/test-ci-build
sv/test-ci-build
January 23, 2025 19:34 1m 36s
Merge pull request #504 from katef/sv/fix-memory-leak-from-determinis… CI #1248: Commit 3cf9ee7 pushed by katef
November 12, 2024 19:19 9m 15s main
main
November 12, 2024 19:19 9m 15s
Fix a memory leak during fsm_determinise_with_config's early exit CI #1247: Pull request #504 opened by silentbicycle
November 8, 2024 21:28 13m 36s sv/fix-memory-leak-from-determinise-with-config
sv/fix-memory-leak-from-determinise-with-config
November 8, 2024 21:28 13m 36s
Add a regression test for the memory leak. CI #1246: Commit c9a240a pushed by silentbicycle
November 8, 2024 21:24 10m 13s sv/fix-memory-leak-from-determinise-with-config
sv/fix-memory-leak-from-determinise-with-config
November 8, 2024 21:24 10m 13s
Merge pull request #502 from katef/kate/missing-manpage-flag CI #1245: Commit 6dc7305 pushed by katef
October 23, 2024 10:35 9m 1s main
main
October 23, 2024 10:35 9m 1s
Missing documentation for -x in the rx(1) manpage CI #1244: Pull request #502 opened by katef
October 23, 2024 10:24 11m 3s kate/missing-manpage-flag
kate/missing-manpage-flag
October 23, 2024 10:24 11m 3s
Too much documentation for -u. CI #1243: Commit 280ca7c pushed by katef
October 23, 2024 10:19 8m 52s kate/missing-manpage-flag
kate/missing-manpage-flag
October 23, 2024 10:19 8m 52s
An attempt at implementing wasi sdk's llvm "wasm assemble" codegen fo… CI #1242: Commit 520e173 pushed by katef
October 21, 2024 09:22 9m 51s kate/wasm
kate/wasm
October 21, 2024 09:22 9m 51s
Merge pull request #500 from katef/sv/re-is-anchored CI #1241: Commit 09a917a pushed by katef
October 12, 2024 16:29 9m 12s main
main
October 12, 2024 16:29 9m 12s
Add re_is_anchored interface. CI #1240: Pull request #500 opened by silentbicycle
October 12, 2024 16:13 15m 25s sv/re-is-anchored
sv/re-is-anchored
October 12, 2024 16:13 15m 25s
Add re_is_anchored interface. CI #1239: Commit 92e6e82 pushed by silentbicycle
October 12, 2024 16:13 9m 59s sv/re-is-anchored
sv/re-is-anchored
October 12, 2024 16:13 9m 59s
Merge pull request #499 from katef/sv/randomized-generation-and-misc-… CI #1238: Commit c375229 pushed by katef
October 12, 2024 06:33 10m 20s main
main
October 12, 2024 06:33 10m 20s
Randomized generation and misc. fixes CI #1237: Pull request #499 synchronize by silentbicycle
October 11, 2024 17:52 15m 17s sv/randomized-generation-and-misc-fixes
sv/randomized-generation-and-misc-fixes
October 11, 2024 17:52 15m 17s
Remove direct call to srand(), just recommend the caller use it. CI #1236: Commit cf8fc65 pushed by silentbicycle
October 11, 2024 17:52 9m 13s sv/randomized-generation-and-misc-fixes
sv/randomized-generation-and-misc-fixes
October 11, 2024 17:52 9m 13s
Randomized generation and misc. fixes CI #1235: Pull request #499 opened by silentbicycle
October 11, 2024 15:05 9m 22s sv/randomized-generation-and-misc-fixes
sv/randomized-generation-and-misc-fixes
October 11, 2024 15:05 9m 22s
trim's integrity_check should only run with EXPENSIVE_CHECKS. CI #1234: Commit 35892eb pushed by silentbicycle
October 11, 2024 14:54 9m 11s sv/randomized-generation-and-misc-fixes
sv/randomized-generation-and-misc-fixes
October 11, 2024 14:54 9m 11s
Merge pull request #498 from katef/sv/determinise-with-config CI #1233: Commit bfeb7ce pushed by katef
October 10, 2024 18:35 9m 28s main
main
October 10, 2024 18:35 9m 28s
Temporary interface: Add fsm_determinise_with_config. CI #1232: Pull request #498 synchronize by silentbicycle
October 10, 2024 15:44 9m 17s sv/determinise-with-config
sv/determinise-with-config
October 10, 2024 15:44 9m 17s
Add 'default:' (should be unreachable) for switch case. CI #1231: Commit 07e1a0c pushed by silentbicycle
October 10, 2024 15:44 15m 30s sv/determinise-with-config
sv/determinise-with-config
October 10, 2024 15:44 15m 30s
Temporary interface: Add fsm_determinise_with_config. CI #1230: Pull request #498 opened by silentbicycle
October 10, 2024 13:12 56s sv/determinise-with-config
sv/determinise-with-config
October 10, 2024 13:12 56s