Skip to content

Actions: c-cube/sidekick

Actions

build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
main.yml
22 workflow runs
22 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore: CI build #589: Commit 8e6036b pushed by c-cube
December 28, 2023 00:46 3m 1s main
main
December 28, 2023 00:46 3m 1s
chore: CI build #588: Commit 79ca29a pushed by c-cube
December 28, 2023 00:38 Failure main
main
December 28, 2023 00:38 Failure
chore: CI build #587: Commit 13440d6 pushed by c-cube
December 28, 2023 00:31 5m 58s main
main
December 28, 2023 00:31 5m 58s
support trace-fuchsia if present build #586: Commit eff6016 pushed by c-cube
December 27, 2023 22:24 6m 16s master
master
December 27, 2023 22:24 6m 16s
require ocaml 4.08, compat with containers 3.13 build #585: Commit 5407744 pushed by c-cube
December 7, 2023 05:14 3m 11s master
master
December 7, 2023 05:14 3m 11s
faster CI build #584: Commit 85c39d3 pushed by c-cube
December 7, 2023 05:03 5m 52s master
master
December 7, 2023 05:03 5m 52s
use trace instead of our own custom tracing setup build #583: Commit 43c8e60 pushed by c-cube
October 7, 2023 02:05 13m 29s master
master
October 7, 2023 02:05 13m 29s
fix: compute model even if (potentially) new interface eqns are produced build #582: Commit c35d721 pushed by c-cube
June 28, 2023 15:42 5m 30s master
master
June 28, 2023 15:42 5m 30s
fix: compute model even if (potentially) new interface eqns are produced build #581: Pull request #21 opened by c-cube
June 27, 2023 16:35 5m 4s wip-19
wip-19
June 27, 2023 16:35 5m 4s
more tests build #580: Commit 3ebc532 pushed by c-cube
June 26, 2023 19:40 5m 2s master
master
June 26, 2023 19:40 5m 2s
fix bug in LRA build #579: Pull request #20 synchronize by c-cube
June 26, 2023 04:45 5m 40s bug-lra-minimized
bug-lra-minimized
June 26, 2023 04:45 5m 40s
fix bug in LRA build #578: Pull request #20 synchronize by c-cube
June 25, 2023 19:39 4m 52s bug-lra-minimized
bug-lra-minimized
June 25, 2023 19:39 4m 52s
fix bug in LRA build #577: Pull request #20 synchronize by c-cube
June 24, 2023 01:45 5m 44s bug-lra-minimized
bug-lra-minimized
June 24, 2023 01:45 5m 44s
fix bug in LRA build #576: Pull request #20 synchronize by c-cube
June 24, 2023 01:40 5m 35s bug-lra-minimized
bug-lra-minimized
June 24, 2023 01:40 5m 35s
doc build #575: Commit 1d1fc88 pushed by c-cube
June 24, 2023 01:40 5m 16s bug-lra-minimized
bug-lra-minimized
June 24, 2023 01:40 5m 16s
fix bug in LRA build #574: Pull request #20 opened by c-cube
June 24, 2023 01:39 5m 13s bug-lra-minimized
bug-lra-minimized
June 24, 2023 01:39 5m 13s
fix benchpress config build #573: Commit 27937b6 pushed by c-cube
June 24, 2023 01:30 5m 4s bug-lra-minimized
bug-lra-minimized
June 24, 2023 01:30 5m 4s
fix warnings build #572: Commit 619da6f pushed by c-cube
June 24, 2023 01:30 9m 31s master
master
June 24, 2023 01:30 9m 31s
fix lra: define expressions occurring in subterms properly build #571: Commit a767ca1 pushed by c-cube
June 24, 2023 01:24 5m 39s bug-lra-minimized
bug-lra-minimized
June 24, 2023 01:24 5m 39s
add non reduced test too build #570: Commit 7af3811 pushed by c-cube
June 23, 2023 21:20 5m 12s bug-lra-minimized
bug-lra-minimized
June 23, 2023 21:20 5m 12s
test: add regression test for LRA bug build #569: Commit 4f3576c pushed by c-cube
June 23, 2023 19:56 8m 53s bug-lra-minimized
bug-lra-minimized
June 23, 2023 19:56 8m 53s
fix: compute model even if (potentially) new interface eqns are produced build #568: Commit 8fbf482 pushed by c-cube
June 23, 2023 14:44 9m 39s wip-19
wip-19
June 23, 2023 14:44 9m 39s