Skip to content

Actions: tribbloid/shapesafe

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
44 workflow runs
44 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

upgrade submodule CI #500: Commit 5474bcf pushed by tribbloid
March 24, 2024 21:16 37s master
master
March 24, 2024 21:16 37s
upgrade submodule CI-splain #253: Commit 5474bcf pushed by tribbloid
March 24, 2024 21:16 32s master
master
March 24, 2024 21:16 32s
upgrade & adapt to submodules CI #499: Commit f253b71 pushed by tribbloid
March 17, 2024 00:18 10m 41s master
master
March 17, 2024 00:18 10m 41s
upgrade & adapt to submodules CI-splain #252: Commit f253b71 pushed by tribbloid
March 17, 2024 00:18 4m 27s master
master
March 17, 2024 00:18 4m 27s
INCOMPLETE, still can't compile CI #498: Commit eb850e9 pushed by tribbloid
March 17, 2024 00:11 2s evict-witness
evict-witness
March 17, 2024 00:11 2s
INCOMPLETE, still can't compile CI-splain #251: Commit eb850e9 pushed by tribbloid
March 17, 2024 00:11 2s evict-witness
evict-witness
March 17, 2024 00:11 2s
scala upgrade CI-splain #250: Commit acf228d pushed by tribbloid
February 26, 2024 03:19 11m 16s master
master
February 26, 2024 03:19 11m 16s
scala upgrade CI #497: Commit acf228d pushed by tribbloid
February 26, 2024 03:19 10m 24s master
master
February 26, 2024 03:19 10m 24s
Tuple moved to prover-commons CI-splain #249: Commit afc9a0a pushed by tribbloid
February 26, 2024 03:17 39s master
master
February 26, 2024 03:17 39s
Tuple moved to prover-commons CI #496: Commit afc9a0a pushed by tribbloid
February 26, 2024 03:17 40s master
master
February 26, 2024 03:17 40s
adapt to submodule upgrade CI-splain #248: Commit 359fb09 pushed by tribbloid
February 19, 2024 03:17 10m 51s master
master
February 19, 2024 03:17 10m 51s
adapt to submodule upgrade CI #495: Commit 359fb09 pushed by tribbloid
February 19, 2024 03:17 10m 20s master
master
February 19, 2024 03:17 10m 20s
adapt to submodule upgrade CI-splain #247: Commit 37073b6 pushed by tribbloid
February 19, 2024 02:53 10m 40s NewPoly/dev1
NewPoly/dev1
February 19, 2024 02:53 10m 40s
adapt to submodule upgrade CI #494: Commit 37073b6 pushed by tribbloid
February 19, 2024 02:53 10m 23s NewPoly/dev1
NewPoly/dev1
February 19, 2024 02:53 10m 23s
upgrade submodule CI-splain #246: Commit 656646e pushed by tribbloid
February 6, 2024 22:28 10m 29s NewPoly/dev1
NewPoly/dev1
February 6, 2024 22:28 10m 29s
upgrade submodule CI #493: Commit 656646e pushed by tribbloid
February 6, 2024 22:28 10m 10s NewPoly/dev1
NewPoly/dev1
February 6, 2024 22:28 10m 10s
In CI, Java upgrade to 11~17, Scala upgrade to 2.13.12 CI-splain #245: Commit 0e6c595 pushed by tribbloid
February 6, 2024 21:58 11m 3s NewPoly/dev1
NewPoly/dev1
February 6, 2024 21:58 11m 3s
In CI, Java upgrade to 11~17, Scala upgrade to 2.13.12 CI #492: Commit 0e6c595 pushed by tribbloid
February 6, 2024 21:58 10m 30s NewPoly/dev1
NewPoly/dev1
February 6, 2024 21:58 10m 30s
In CI, Java upgrade to 11~17, Scala upgrade to 2.13.12 CI-splain #244: Commit ad9ab32 pushed by tribbloid
February 6, 2024 21:46 10m 30s NewPoly/dev1
NewPoly/dev1
February 6, 2024 21:46 10m 30s
In CI, Java upgrade to 11~17, Scala upgrade to 2.13.12 CI #491: Commit ad9ab32 pushed by tribbloid
February 6, 2024 21:46 10m 21s NewPoly/dev1
NewPoly/dev1
February 6, 2024 21:46 10m 21s
upgrade submodule & adapt CI #490: Commit e8ae46b pushed by tribbloid
February 6, 2024 21:26 10m 28s NewPoly/dev1
NewPoly/dev1
February 6, 2024 21:26 10m 28s
upgrade submodule & adapt CI-splain #243: Commit e8ae46b pushed by tribbloid
February 6, 2024 21:26 10m 24s NewPoly/dev1
NewPoly/dev1
February 6, 2024 21:26 10m 24s
improve scalafix CI-splain #242: Commit ce9419d pushed by tribbloid
January 30, 2024 01:34 34s NewPoly/dev1
NewPoly/dev1
January 30, 2024 01:34 34s
improve scalafix CI #489: Commit ce9419d pushed by tribbloid
January 30, 2024 01:34 32s NewPoly/dev1
NewPoly/dev1
January 30, 2024 01:34 32s
add: CI #488: Commit 4cb6657 pushed by tribbloid
January 30, 2024 01:15 32s NewPoly/dev1
NewPoly/dev1
January 30, 2024 01:15 32s