Skip to content

Actions: aryx/syncweb

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
54 workflow runs
54 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
generete error code when error in -to_tex docker #54: Commit 239f362 pushed by aryx
8s master
master
8s
fix syncweb_to_tex to delete file when error in -to_tex docker #53: Commit 861b32e pushed by aryx
10s master
master
10s
indexer: accept multiple directories instead of a single one docker #52: Commit 9d413c7 pushed by aryx
11s master
master
11s
handle [[xxx[0]]] with triple ]]] docker #51: Commit a24a4e0 pushed by aryx
8s master
master
8s
add new -no_cache syncweb flag docker #50: Commit d231f16 pushed by aryx
11s master
master
11s
print also % in syncweb -loc of LOE/LOC docker #49: Commit 325d6db pushed by aryx
12s master
master
12s
shell: preserve shebang in tangled scripts; add short mark form docker #48: Commit c00b30e pushed by aryx
8s master
master
8s
indexer: resume -lang c, use latest semgrep-pfff-xxx docker #47: Commit bd5677f pushed by aryx
13s master
master
13s
more todo.org docker #46: Commit 7a363eb pushed by aryx
11s master
master
11s
Remove toplevel menhir-wrapper, update submodules docker #45: Commit 8083415 pushed by aryx
10s master
master
10s
docker docker #44: by aryx
12s master
master
12s
Update submodules: restructure dirs, add location/il/dataflow/pretty … docker #43: Commit 283bae8 pushed by aryx
7s master
master
7s
Migrate Common2.some/filter/assoc to stdlib, update submodules docker #42: Commit 4015b69 pushed by aryx
12s master
master
12s
Rename Common2_ to Common2, update submodules docker #41: Commit ae55683 pushed by aryx
10s master
master
10s
Update semgrep-pfff-libs: remove unused code from commons2_ and commons2 docker #40: Commit a51c979 pushed by aryx
7s master
master
7s
Update semgrep-pfff-langs: reorganize category subdirectories docker #39: Commit b21c8da pushed by aryx
20s master
master
20s
claude capabilities docker #38: Commit d16f546 pushed by aryx
14s master
master
14s
Update semgrep-pfff-langs (remove ounit2 from parser_cmt.graph) docker #37: Commit f6d7763 pushed by aryx
13s master
master
13s
Remove compiler-libs from lpizer opam deps (bundled with OCaml) docker #36: Commit 334adde pushed by aryx
14s master
master
14s
Add syncweb_indexer to default build, add compiler-libs to lpizer deps docker #35: Commit dfd2e69 pushed by aryx
8s master
master
8s
Add .gitignore entries for tree-sitter config and generated opam files docker #34: Commit 3ba3af7 pushed by aryx
4m 6s master
master
4m 6s
Add semgrep-pfff submodules, separate syncweb and lpizer packages docker #33: Commit 4916f54 pushed by aryx
4m 5s master
master
4m 5s
misc docker #32: Commit 71294e7 pushed by aryx
16m 48s master
master
16m 48s
syncweb -loc, skip lines with just spaces docker #31: Commit 4d4cb3b pushed by aryx
16m 51s master
master
16m 51s
syncweb -loc: skip tex comment and pad's \t \l noweb special tags docker #30: Commit d35ea16 pushed by aryx
17m 42s master
master
17m 42s