Skip to content

Actions: E-Sh4rk/sstt

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
271 workflow runs
271 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

add some utility functions for Subst and Tallying Run tests and deploy web version #271: Commit 6f293c2 pushed by E-Sh4rk
10m 44s main
main
10m 44s
add some utility functions for Subst and Tallying Run tests and deploy web version #270: Commit a1b75ca pushed by E-Sh4rk
14m 21s main
main
14m 21s
doc Run tests and deploy web version #269: Commit 77c5ee2 pushed by E-Sh4rk
14m 10s main
main
14m 10s
add tag declaration to the repl Run tests and deploy web version #268: Commit e584783 pushed by E-Sh4rk
10m 19s main
main
10m 19s
restore variance in Abstracts.ml Run tests and deploy web version #267: Commit ea64e90 pushed by E-Sh4rk
10m 46s main
main
10m 46s
update CSS.add to remove subsuming elements that may already be present Run tests and deploy web version #266: Commit b33482b pushed by E-Sh4rk
10m 30s main
main
10m 30s
Merge pull request #18 from E-Sh4rk/tag-extension Run tests and deploy web version #265: Commit 12cd51e pushed by E-Sh4rk
14m 9s main
main
14m 9s
refactor Run tests and deploy web version #264: Commit 6d5f43c pushed by E-Sh4rk
11m 24s main
main
11m 24s
printer: improve recognition of aliases Run tests and deploy web version #263: Commit 27d4bd9 pushed by E-Sh4rk
10m 48s main
main
10m 48s
Merge pull request #17 from E-Sh4rk/extensions-refactor Run tests and deploy web version #262: Commit c6c5802 pushed by E-Sh4rk
10m 47s main
main
10m 47s
export Printer.print_extension_node_ctx Run tests and deploy web version #261: Commit 4347a1d pushed by E-Sh4rk
13m 55s main
main
13m 55s
Merge pull request #16 from E-Sh4rk/dnf-module-removal Run tests and deploy web version #260: Commit b812ce3 pushed by E-Sh4rk
10m 38s main
main
10m 38s
add alias for Enums.Atom Run tests and deploy web version #259: Commit 38a457d pushed by E-Sh4rk
10m 36s main
main
10m 36s
Fix a potential bug in the backtracking table Run tests and deploy web version #258: Commit 209777c pushed by Tchou
10m 37s main
main
10m 37s
extensions: export to_t and map to allow defining custom printers Run tests and deploy web version #257: Commit e5ce676 pushed by E-Sh4rk
10m 19s main
main
10m 19s
Homogeneize extension interfaces Run tests and deploy web version #256: Commit e24bbd9 pushed by E-Sh4rk
10m 22s main
main
10m 22s
fix issue in Op.Records.merge Run tests and deploy web version #255: Commit 97221e6 pushed by E-Sh4rk
10m 31s main
main
10m 31s
add tallying test Run tests and deploy web version #254: Commit 12773bf pushed by E-Sh4rk
10m 28s main
main
10m 28s
use List.is_empty instead of == Run tests and deploy web version #253: Commit d210b8d pushed by E-Sh4rk
10m 35s main
main
10m 35s
Pretty-printer refactoring (#15) Run tests and deploy web version #252: Commit ff0fedd pushed by Tchou
11m 37s main
main
11m 37s
refactor Run tests and deploy web version #251: Commit b8aec2a pushed by E-Sh4rk
15m 37s main
main
15m 37s
Tallying refactor (#14) Run tests and deploy web version #250: Commit ad80703 pushed by Tchou
11m 16s main
main
11m 16s
extension: hierarchy Run tests and deploy web version #249: Commit d08233e pushed by E-Sh4rk
11m 7s main
main
11m 7s
extension : functional map Run tests and deploy web version #248: Commit 51b0667 pushed by E-Sh4rk
11m 55s main
main
11m 55s
Implement a hash based cache for the subtyping algorithm (#13) Run tests and deploy web version #247: Commit d8f0275 pushed by Tchou
10m 36s main
main
10m 36s