Skip to content

Actions: fastly/libfsm

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
147 workflow runs
147 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Upstream sync: re_is_anchored and a few more misc. changes CI #111: Pull request #31 opened by silentbicycle
October 12, 2024 16:35 5m 19s sv/upstream-sync-re-is-anchored
sv/upstream-sync-re-is-anchored
October 12, 2024 16:35 5m 19s
PR #31 CodeQL #43: by silentbicycle
October 12, 2024 16:35 2m 38s refs/pull/31/head
refs/pull/31/head
October 12, 2024 16:35 2m 38s
Merge pull request #500 from katef/sv/re-is-anchored CI #110: Commit 09a917a pushed by silentbicycle
October 12, 2024 16:33 5m 21s sv/upstream-sync-re-is-anchored
sv/upstream-sync-re-is-anchored
October 12, 2024 16:33 5m 21s
Add cdata codegen, with eager output support CI #109: Pull request #30 synchronize by silentbicycle
October 10, 2024 19:48 5m 7s sv/add-cdata-codegen-with-eager-outputs
sv/add-cdata-codegen-with-eager-outputs
October 10, 2024 19:48 5m 7s
fuzzer: Add seed argument for fsm_generate_matches (interface change). CI #108: Commit 23e6142 pushed by silentbicycle
October 10, 2024 19:48 5m 20s sv/add-cdata-codegen-with-eager-outputs
sv/add-cdata-codegen-with-eager-outputs
October 10, 2024 19:48 5m 20s
Add cdata codegen, with eager output support CI #107: Pull request #30 opened by silentbicycle
October 10, 2024 19:45 59s sv/add-cdata-codegen-with-eager-outputs
sv/add-cdata-codegen-with-eager-outputs
October 10, 2024 19:45 59s
Experimental initial support for CDATA output mode. CI #106: Commit 98e9cb4 pushed by silentbicycle
October 10, 2024 19:44 1m 0s sv/add-cdata-codegen-with-eager-outputs
sv/add-cdata-codegen-with-eager-outputs
October 10, 2024 19:44 1m 0s
PR #29 CodeQL #42: by silentbicycle
October 10, 2024 18:27 2m 14s refs/pull/29/head
refs/pull/29/head
October 10, 2024 18:27 2m 14s
experimental: Add eager outputs, similar to endids but eagerly matched. CI #105: Pull request #29 opened by silentbicycle
October 10, 2024 18:27 4m 31s sv/eager-outputs
sv/eager-outputs
October 10, 2024 18:27 4m 31s
minimise_test_oracle.c: mismatched eager outputs also prevent merging. CI #104: Commit 8fd728e pushed by silentbicycle
October 10, 2024 18:21 5m 24s sv/eager-outputs
sv/eager-outputs
October 10, 2024 18:21 5m 24s
Ensure .has_eager_outputs is zeroed on new states. (msan) CI #103: Commit 9fcbdf5 pushed by silentbicycle
October 10, 2024 17:33 4m 35s sv/eager-outputs
sv/eager-outputs
October 10, 2024 17:33 4m 35s
experimental: Add eager outputs, similar to endids but eagerly matched. CI #102: Commit 4a32885 pushed by silentbicycle
October 10, 2024 17:08 4m 56s sv/eager-outputs
sv/eager-outputs
October 10, 2024 17:08 4m 56s
experimental: Add eager outputs, similar to endids but eagerly matched. CI #101: Commit 494ce84 pushed by silentbicycle
October 10, 2024 17:04 4m 35s sv/eager-outputs
sv/eager-outputs
October 10, 2024 17:04 4m 35s
experimental: Add eager outputs, similar to endids but eagerly matched. CI #100: Commit 8c918bb pushed by silentbicycle
October 10, 2024 17:01 4m 46s sv/eager-outputs
sv/eager-outputs
October 10, 2024 17:01 4m 46s
PR #28 CodeQL #41: by silentbicycle
October 10, 2024 12:48 2m 14s refs/pull/28/head
refs/pull/28/head
October 10, 2024 12:48 2m 14s
Temporary interface: Add fsm_determinise_with_config. CI #99: Pull request #28 opened by silentbicycle
October 10, 2024 12:48 55s sv/tmp-determinise-with-config
sv/tmp-determinise-with-config
October 10, 2024 12:48 55s
Temporary interface: Add fsm_determinise_with_config. CI #98: Commit 8eca83c pushed by silentbicycle
October 10, 2024 12:35 55s sv/tmp-determinise-with-config
sv/tmp-determinise-with-config
October 10, 2024 12:35 55s
Merge pull request #27 from fastly/sv/upstream-main CI #97: Commit 8b53634 pushed by katef
October 9, 2024 21:25 4m 35s main
main
October 9, 2024 21:25 4m 35s
Push on main CodeQL #40: by github-advanced-security bot
October 9, 2024 21:25 3m 30s main
main
October 9, 2024 21:25 3m 30s
PR #27 CodeQL #39: by silentbicycle
October 9, 2024 21:19 2m 21s refs/pull/27/head
refs/pull/27/head
October 9, 2024 21:19 2m 21s
Sync from upstream katef/libfsm main CI #96: Pull request #27 opened by silentbicycle
October 9, 2024 21:19 4m 58s sv/upstream-main
sv/upstream-main
October 9, 2024 21:19 4m 58s
Merge pull request #497 from katef/sv/move-codegen-callback-metadata-… CI #95: Commit 0961848 pushed by silentbicycle
October 9, 2024 21:16 4m 27s sv/upstream-main
sv/upstream-main
October 9, 2024 21:16 4m 27s
cdata: Temporarily disable endid/eager_output reuse. CI #94: Commit c6cba78 pushed by silentbicycle
October 9, 2024 20:12 52s sv/tmp-integration-branch-to-vendor-for-da2lx-subside-development
sv/tmp-integration-branch-to-vendor-for-da2lx-subside-development
October 9, 2024 20:12 52s
Temporary interface: Add fsm_determinise_with_config. CI #93: Commit 15ff5bb pushed by silentbicycle
October 9, 2024 20:08 57s sv/tmp-integration-branch-to-vendor-for-da2lx-subside-development
sv/tmp-integration-branch-to-vendor-for-da2lx-subside-development
October 9, 2024 20:08 57s
fsm_generate_matches: Add seed argument, random choice if non-zero. CI #92: Commit ca7396f pushed by silentbicycle
October 9, 2024 13:50 1m 11s sv/tmp-integration-branch-to-vendor-for-da2lx-subside-development
sv/tmp-integration-branch-to-vendor-for-da2lx-subside-development
October 9, 2024 13:50 1m 11s