All workflows

Workflow runs

• misc

  failed:
  docker#55:Commit1dc9c0dpushedbyaryx
  master

  Oct 14, 202612s
  More actions for workflow run 55

• generete error code when error in -to_tex

  failed:
  docker#54:Commit239f362pushedbyaryx
  master

  Jul 2, 20268s
  More actions for workflow run 54

• fix syncweb_to_tex to delete file when error in -to_tex

  failed:
  docker#53:Commit861b32epushedbyaryx
  master

  Jul 2, 202610s
  More actions for workflow run 53

• indexer: accept multiple directories instead of a single one

  failed:
  docker#52:Commit9d413c7pushedbyaryx
  master

  Jun 29, 202611s
  More actions for workflow run 52

• handle [[xxx[0]]] with triple ]]]

  failed:
  docker#51:Commita24a4e0pushedbyaryx
  master

  Jun 16, 20268s
  More actions for workflow run 51

• add new -no_cache syncweb flag

  failed:
  docker#50:Commitd231f16pushedbyaryx
  master

  Jun 5, 202611s
  More actions for workflow run 50

• print also % in syncweb -loc of LOE/LOC

  failed:
  docker#49:Commit325d6dbpushedbyaryx
  master

  Jun 5, 202612s
  More actions for workflow run 49

• shell: preserve shebang in tangled scripts; add short mark form

  failed:
  docker#48:Commitc00b30epushedbyaryx
  master

  May 13, 20268s
  More actions for workflow run 48

• indexer: resume -lang c, use latest semgrep-pfff-xxx

  failed:
  docker#47:Commitbd5677fpushedbyaryx
  master

  Mar 30, 202613s
  More actions for workflow run 47

• more todo.org

  failed:
  docker#46:Commit7a363ebpushedbyaryx
  master

  Mar 22, 202611s
  More actions for workflow run 46

• Remove toplevel menhir-wrapper, update submodules

  failed:
  docker#45:Commit8083415pushedbyaryx
  master

  Mar 18, 202610s
  More actions for workflow run 45

• docker

  failed:
  docker#44:byaryx
  master

  Mar 12, 202612s
  More actions for workflow run 44

• Update submodules: restructure dirs, add location/il/dataflow/pretty …

  failed:
  docker#43:Commit283bae8pushedbyaryx
  master

  Mar 6, 20267s
  More actions for workflow run 43

• Migrate Common2.some/filter/assoc to stdlib, update submodules

  failed:
  docker#42:Commit4015b69pushedbyaryx
  master

  Mar 6, 202612s
  More actions for workflow run 42

• Rename Common2_ to Common2, update submodules

  failed:
  docker#41:Commitae55683pushedbyaryx
  master

  Mar 6, 202610s
  More actions for workflow run 41

• Update semgrep-pfff-libs: remove unused code from commons2_ and commons2

  failed:
  docker#40:Commita51c979pushedbyaryx
  master

  Mar 6, 20267s
  More actions for workflow run 40

• Update semgrep-pfff-langs: reorganize category subdirectories

  failed:
  docker#39:Commitb21c8dapushedbyaryx
  master

  Mar 5, 202620s
  More actions for workflow run 39

• claude capabilities

  failed:
  docker#38:Commitd16f546pushedbyaryx
  master

  Mar 5, 202614s
  More actions for workflow run 38

• Update semgrep-pfff-langs (remove ounit2 from parser_cmt.graph)

  failed:
  docker#37:Commitf6d7763pushedbyaryx
  master

  Mar 5, 202613s
  More actions for workflow run 37

• Remove compiler-libs from lpizer opam deps (bundled with OCaml)

  failed:
  docker#36:Commit334addepushedbyaryx
  master

  Mar 5, 202614s
  More actions for workflow run 36

• Add syncweb_indexer to default build, add compiler-libs to lpizer deps

  failed:
  docker#35:Commitdfd2e69pushedbyaryx
  master

  Mar 5, 20268s
  More actions for workflow run 35

• Add .gitignore entries for tree-sitter config and generated opam files

  failed:
  docker#34:Commit3ba3af7pushedbyaryx
  master

  Mar 5, 20264m 6s
  More actions for workflow run 34

• Add semgrep-pfff submodules, separate syncweb and lpizer packages

  failed:
  docker#33:Commit4916f54pushedbyaryx
  master

  Mar 5, 20264m 5s
  More actions for workflow run 33

• misc

  completed successfully:
  docker#32:Commit71294e7pushedbyaryx
  master

  Feb 10, 202616m 48s
  More actions for workflow run 32

• syncweb -loc, skip lines with just spaces

  completed successfully:
  docker#31:Commit4d4cb3bpushedbyaryx
  master

  Jan 13, 202616m 51s
  More actions for workflow run 31