Skip to content

Actions: tribbloid/shapesafe

Actions

CI

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

upgrade submodule CI #500: Commit 5474bcf pushed by tribbloid
March 24, 2024 21:16 37s master
master
March 24, 2024 21:16 37s
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
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
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 #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 #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 #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 #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 #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 #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
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
upgrade submodules CI #487: Commit a53e415 pushed by tribbloid
January 23, 2024 20:13 41s NewPoly/dev1
NewPoly/dev1
January 23, 2024 20:13 41s
first build that pass, need clean up CI #486: Commit 07aedf0 pushed by tribbloid
December 23, 2023 22:57 33s NewPoly/dev1
NewPoly/dev1
December 23, 2023 22:57 33s
maintenance, minor typo fixing CI #485: Commit 997c36e pushed by tribbloid
December 14, 2023 21:54 9m 46s master
master
December 14, 2023 21:54 9m 46s
upgrade modules CI #484: Commit 3ef24be pushed by tribbloid
December 9, 2023 21:33 10m 43s master
master
December 9, 2023 21:33 10m 43s
improve submodule, opt out from recursive CI #483: Commit 426f097 pushed by tribbloid
December 6, 2023 22:09 10m 55s master
master
December 6, 2023 22:09 10m 55s
improve submodule, opt out from recursive CI #482: Commit 4451113 pushed by tribbloid
December 6, 2023 21:43 10m 53s buildSrc/dev2
buildSrc/dev2
December 6, 2023 21:43 10m 53s
improve submodule, opt out from recursive CI #481: Commit a52cd6e pushed by tribbloid
December 6, 2023 21:33 2m 26s buildSrc/dev2
buildSrc/dev2
December 6, 2023 21:33 2m 26s
buildSrc is now a submodule CI #480: Commit 056789d pushed by tribbloid
December 6, 2023 21:23 2m 30s buildSrc/dev2
buildSrc/dev2
December 6, 2023 21:23 2m 30s
buildSrc is now a submodule CI #479: Commit 492af83 pushed by tribbloid
December 6, 2023 21:14 2s buildSrc/dev1
buildSrc/dev1
December 6, 2023 21:14 2s