Skip to content

Actions: E-Sh4rk/sstt

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
166 workflow runs
166 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
update syntax of extensions (regex and char ranges) Run tests and deploy web version #412: Commit b442005 pushed by E-Sh4rk
13m 56s main
main
13m 56s
improve tallying pruning Run tests and deploy web version #411: Commit b267f02 pushed by E-Sh4rk
12m 4s main
main
12m 4s
export Transform.simplify_vdescr Run tests and deploy web version #410: Commit 5d4abc6 pushed by E-Sh4rk
11m 37s main
main
11m 37s
some notes on Bdt.simplify Run tests and deploy web version #409: Commit dbeaca4 pushed by E-Sh4rk
8m 52s main
main
8m 52s
readme Run tests and deploy web version #408: Commit ab95114 pushed by E-Sh4rk
11m 33s main
main
11m 33s
update README Run tests and deploy web version #407: Commit a424e66 pushed by E-Sh4rk
10m 55s main
main
10m 55s
update README Run tests and deploy web version #406: Commit 1acadbc pushed by E-Sh4rk
11m 9s main
main
11m 9s
add missing documentation Run tests and deploy web version #405: Commit 5e30e88 pushed by E-Sh4rk
11m 44s main
main
11m 44s
write some words about thread safety Run tests and deploy web version #404: Commit ce71bdd pushed by E-Sh4rk
10m 14s main
main
10m 14s
minor code improvements Run tests and deploy web version #403: Commit 6d76bf5 pushed by E-Sh4rk
20m 11s main
main
20m 11s
document some invariants Run tests and deploy web version #402: Commit 82ed719 pushed by E-Sh4rk
16m 4s main
main
16m 4s
fix some documentation Run tests and deploy web version #401: Commit 3e2fa83 pushed by E-Sh4rk
14m 49s main
main
14m 49s
minor inconsistency in Op.proj error handling Run tests and deploy web version #400: Commit a8f31fd pushed by E-Sh4rk
13m 46s main
main
13m 46s
fixed typo that compared the whole arrow structure when negating Run tests and deploy web version #399: Commit 19cf2f1 pushed by E-Sh4rk
10m 43s main
main
10m 43s
fix bug in TagComp.compare and TupleComp.compare Run tests and deploy web version #398: Commit 3f3a242 pushed by E-Sh4rk
16m 26s main
main
16m 26s
fix bug in Interval Run tests and deploy web version #397: Commit 359dced pushed by E-Sh4rk
14m 42s main
main
14m 42s
update outdated comment Run tests and deploy web version #396: Commit a125a0b pushed by E-Sh4rk
13m 51s main
main
13m 51s
Merge pull request #32 from E-Sh4rk/cache Run tests and deploy web version #395: Commit 8e6cdb5 pushed by E-Sh4rk
15m 13s main
main
15m 13s
export Printer.any_descr and Printer.any_fdescr Run tests and deploy web version #394: Commit d5a1ebf pushed by E-Sh4rk
11m 45s main
main
11m 45s
reserve negation operator ~ for regular types Run tests and deploy web version #393: Commit a5d6719 pushed by E-Sh4rk
9m 2s main
main
9m 2s
optimize N.factorize and N.of_defs to reuse nodes when possible Run tests and deploy web version #392: Commit fb5bd94 pushed by E-Sh4rk
10m 51s main
main
10m 51s
Systematically factorize the result of Ty.of_eqs. Run tests and deploy web version #391: Commit cd88185 pushed by Tchou
11m 13s main
main
11m 13s
export Ty.factorize_many Run tests and deploy web version #390: Commit 74457a3 pushed by E-Sh4rk
10m 56s main
main
10m 56s
Base case optimizations in Tallying/CSS. Run tests and deploy web version #389: Commit ae5c917 pushed by Tchou
10m 17s main
main
10m 17s
export FieldCtx.labels Run tests and deploy web version #388: Commit c639aa6 pushed by E-Sh4rk
10m 51s main
main
10m 51s