Skip to content

Actions: E-Sh4rk/sstt

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
183 workflow runs
183 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
Merge pull request #31 from E-Sh4rk/field-simpl Run tests and deploy web version #370: Commit 3b952a8 pushed by E-Sh4rk
11m 20s main
main
11m 20s
remvove unused functions Run tests and deploy web version #369: Commit 8cbb0d2 pushed by E-Sh4rk
11m 1s main
main
11m 1s
add 'extra' parameter to 'Transform.simplify' Run tests and deploy web version #368: Commit 108a9fc pushed by E-Sh4rk
11m 4s main
main
11m 4s
do not share cache for equiv (almost no sharing) Run tests and deploy web version #367: Commit 53f6a53 pushed by E-Sh4rk
11m 0s main
main
11m 0s
refactor Run tests and deploy web version #366: Commit b4c65c0 pushed by E-Sh4rk
7m 37s main
main
7m 37s
use shared cache when computing dnfs Run tests and deploy web version #365: Commit e5ea76a pushed by E-Sh4rk
11m 10s main
main
11m 10s
refactor Run tests and deploy web version #364: Commit b4c65c0 pushed by E-Sh4rk
10m 43s main
main
10m 43s
refactor Run tests and deploy web version #363: Commit d93e0e4 pushed by E-Sh4rk
12m 14s main
main
12m 14s
refactor Run tests and deploy web version #362: Commit 0333cad pushed by E-Sh4rk
10m 49s main
main
10m 49s
refactor Run tests and deploy web version #361: Commit 7fe34b4 pushed by E-Sh4rk
10m 51s main
main
10m 51s
refactor Run tests and deploy web version #360: Commit 63022a2 pushed by E-Sh4rk
10m 19s main
main
10m 19s
fix some calls to Ty.with_shared_cache + export set-theoretic ops for… Run tests and deploy web version #359: Commit 04d1a07 pushed by E-Sh4rk
11m 16s main
main
11m 16s
Merge pull request #30 from E-Sh4rk/node-tests Run tests and deploy web version #358: Commit 14b96e9 pushed by E-Sh4rk
10m 29s main
main
10m 29s
do not discard neg relation when redefining a node Run tests and deploy web version #357: Commit eea3196 pushed by E-Sh4rk
10m 27s main
main
10m 27s
hotfix for Node.simplify Run tests and deploy web version #356: Commit a8c9db5 pushed by E-Sh4rk
11m 3s main
main
11m 3s
Effect shared cache (#27) Run tests and deploy web version #355: Commit 7f5578c pushed by Tchou
8m 43s main
main
8m 43s
add shortcuts in Ty.O Run tests and deploy web version #354: Commit 36c10ca pushed by E-Sh4rk
41s main
main
41s
Represent Ty.O using a BDD (#28) Run tests and deploy web version #353: Commit c6201ab pushed by Tchou
14m 24s main
main
14m 24s
fix uncatch Unsat in tallying Run tests and deploy web version #352: Commit 6ccdf96 pushed by E-Sh4rk
15m 9s main
main
15m 9s
Revert "update .opam files." Run tests and deploy web version #351: Commit 6ba059b pushed by Tchou
10m 49s main
main
10m 49s
update .opam files. Run tests and deploy web version #350: Commit f66c7d4 pushed by Tchou
10m 36s main
main
10m 36s
Partially revert the stack marking machinery since it's actually Run tests and deploy web version #349: Commit c5391f8 pushed by Tchou
10m 18s main
main
10m 18s
Slightly optimize Bttable. Run tests and deploy web version #348: Commit 790ea49 pushed by Tchou
10m 30s main
main
10m 30s
utility functions in Prec Run tests and deploy web version #347: Commit 8678c2b pushed by E-Sh4rk
12m 32s main
main
12m 32s
utility functions in Prec Run tests and deploy web version #346: Commit c1cedf9 pushed by E-Sh4rk
15m 34s main
main
15m 34s