Skip to content

Actions: OCamlPro/owi

Actions

build-ubuntu

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build-ubuntu.yml
1,049 workflow runs
1,049 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

boilerplate for haskell subcommand build-ubuntu #1024: Pull request #939 opened by redianthus
5m 40s redianthus:haskell
redianthus:haskell
5m 40s
hide the solver instances in Solver build-ubuntu #1023: Commit 59fabf7 pushed by redianthus
5m 35s main
main
5m 35s
use was_interrupted build-ubuntu #1022: Pull request #938 synchronize by redianthus
5m 28s redianthus:main
redianthus:main
5m 28s
use was_interrupted build-ubuntu #1021: Pull request #938 opened by redianthus
4m 54s redianthus:main
redianthus:main
4m 54s
Abstract interpretation build-ubuntu #1020: Pull request #933 synchronize by S41d
26m 44s S41d:abs_interpretation
S41d:abs_interpretation
26m 44s
clean some code build-ubuntu #1019: Commit 846998c pushed by redianthus
5m 29s main
main
5m 29s
add a shortcut when we know negation of the condition is unsat build-ubuntu #1018: Pull request #932 synchronize by redianthus
5m 15s redianthus:unsat-shortcut
redianthus:unsat-shortcut
5m 15s
add a shortcut when we know negation of the condition is unsat build-ubuntu #1017: Pull request #932 synchronize by redianthus
5m 10s redianthus:unsat-shortcut
redianthus:unsat-shortcut
5m 10s
bump smtml to 0.22.0 build-ubuntu #1016: Commit 9d03a7c pushed by redianthus
5m 19s main
main
5m 19s
add a shortcut when we know negation of the condition is unsat build-ubuntu #1015: Pull request #932 synchronize by redianthus
5m 15s redianthus:unsat-shortcut
redianthus:unsat-shortcut
5m 15s
bump smtml to 0.22.0 build-ubuntu #1014: Pull request #937 opened by hra687261
5m 21s hra687261:bump_smtml
hra687261:bump_smtml
5m 21s
add a shortcut when we know negation of the condition is unsat build-ubuntu #1013: Pull request #932 synchronize by redianthus
5m 32s redianthus:unsat-shortcut
redianthus:unsat-shortcut
5m 32s
add a shortcut when we know negation of the condition is unsat build-ubuntu #1012: Pull request #932 synchronize by redianthus
5m 24s redianthus:unsat-shortcut
redianthus:unsat-shortcut
5m 24s
add a shortcut when we know negation of the condition is unsat build-ubuntu #1011: Pull request #932 synchronize by redianthus
5m 33s redianthus:unsat-shortcut
redianthus:unsat-shortcut
5m 33s
add a shortcut when we know negation of the condition is unsat build-ubuntu #1010: Pull request #932 synchronize by redianthus
5m 27s redianthus:unsat-shortcut
redianthus:unsat-shortcut
5m 27s
add a shortcut when we know negation of the condition is unsat build-ubuntu #1009: Pull request #932 synchronize by redianthus
5m 36s redianthus:unsat-shortcut
redianthus:unsat-shortcut
5m 36s
switch to latest symex and add equalities optimizations build-ubuntu #1008: Commit 81969f5 pushed by redianthus
5m 40s main
main
5m 40s
inline eq test build-ubuntu #1007: Pull request #930 synchronize by redianthus
5m 28s redianthus:inlineeeq
redianthus:inlineeeq
5m 28s
inline eq test build-ubuntu #1006: Pull request #930 synchronize by redianthus
6m 45s redianthus:inlineeeq
redianthus:inlineeeq
6m 45s
inline eq test build-ubuntu #1005: Pull request #930 synchronize by redianthus
5m 57s redianthus:inlineeeq
redianthus:inlineeeq
5m 57s
inline eq test build-ubuntu #1004: Pull request #930 synchronize by redianthus
6m 5s redianthus:inlineeeq
redianthus:inlineeeq
6m 5s
inline eq test build-ubuntu #1003: Pull request #930 synchronize by redianthus
4m 50s redianthus:inlineeeq
redianthus:inlineeeq
4m 50s
inline eq test build-ubuntu #1002: Pull request #930 synchronize by redianthus
5m 31s redianthus:inlineeeq
redianthus:inlineeeq
5m 31s
inline eq test build-ubuntu #1001: Pull request #930 synchronize by redianthus
5m 57s redianthus:inlineeeq
redianthus:inlineeeq
5m 57s
use latest cmdliner build-ubuntu #1000: Commit bddf3ae pushed by redianthus
5m 40s main
main
5m 40s