Skip to content

Actions: imdea-software/htt

Actions

Docker CI

Actions

Loading...

Showing runs from all workflows named Docker CI
21 workflow run results
21 workflow run results
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
bump upper coq version Docker CI #40: Commit 0a4c86f pushed by clayrat
May 10, 2024 17:34 4m 21s master
master
May 10, 2024 17:34 4m 21s
making comment more precise Docker CI #39: Commit c03a9ba pushed by aleksnanevski
August 21, 2023 16:59 14m 38s master
master
August 21, 2023 16:59 14m 38s
making the comment a bit more informative Docker CI #38: Commit ab1b6a9 pushed by aleksnanevski
August 21, 2023 16:44 17m 34s master
master
August 21, 2023 16:44 17m 34s
Merge branch 'master' of github.com:imdea-software/htt Docker CI #37: Commit 8b52308 pushed by aleksnanevski
August 21, 2023 16:02 14m 24s master
master
August 21, 2023 16:02 14m 24s
deleted markt_demo.v Docker CI #36: Commit cec4d2a pushed by aleksnanevski
July 24, 2023 12:29 4m 47s master
master
July 24, 2023 12:29 4m 47s
marktoberdorf demo Docker CI #35: Commit 42f1a3a pushed by aleksnanevski
July 24, 2023 12:22 6m 7s master
master
July 24, 2023 12:22 6m 7s
Merge pull request #24 from imdea-software/counter Docker CI #34: Commit f905089 pushed by aleksnanevski
June 30, 2023 17:56 5m 28s master
master
June 30, 2023 17:56 5m 28s
port the counter example Docker CI #33: Pull request #24 synchronize by clayrat
June 30, 2023 16:39 6m 9s counter
counter
June 30, 2023 16:39 6m 9s
port the counter example Docker CI #32: Pull request #24 synchronize by aleksnanevski
June 30, 2023 16:36 5m 34s counter
counter
June 30, 2023 16:36 5m 34s
port the counter example Docker CI #31: Pull request #24 opened by clayrat
June 30, 2023 15:22 5m 58s counter
counter
June 30, 2023 15:22 5m 58s
fixing typo Docker CI #30: Commit 7b8d755 pushed by aleksnanevski
June 16, 2023 14:34 4m 47s master
master
June 16, 2023 14:34 4m 47s
drop dev image for CI Docker CI #29: Commit db12b09 pushed by clayrat
June 16, 2023 13:46 4m 57s master
master
June 16, 2023 13:46 4m 57s
bump minimal MC to 1.17 Docker CI #28: Commit e4b7ff1 pushed by clayrat
June 16, 2023 13:37 4m 44s master
master
June 16, 2023 13:37 4m 44s
cleanup Docker CI #27: Commit 274f94e pushed by clayrat
June 16, 2023 13:16 6m 4s master
master
June 16, 2023 13:16 6m 4s
Merge pull request #23 from imdea-software/package-examples Docker CI #26: Commit dae4a9e pushed by clayrat
June 16, 2023 13:06 4m 49s master
master
June 16, 2023 13:06 4m 49s
Use dune to package a stripped down version of HTT for OPAM release Docker CI #25: Pull request #23 synchronize by clayrat
June 9, 2023 16:20 6m 20s package-examples
package-examples
June 9, 2023 16:20 6m 20s
Use dune to package a stripped down version of HTT for OPAM release Docker CI #24: Pull request #23 opened by clayrat
June 9, 2023 16:08 5m 16s package-examples
package-examples
June 9, 2023 16:08 5m 16s
bump MC upper limit Docker CI #23: Commit 988b43c pushed by clayrat
June 8, 2023 19:02 6m 2s master
master
June 8, 2023 19:02 6m 2s
MC1.15 is missing some coercion seq->tuple Docker CI #22: Commit b96f9f0 pushed by clayrat
June 8, 2023 19:00 5m 45s master
master
June 8, 2023 19:00 5m 45s
Merge pull request #22 from imdea-software/slice Docker CI #21: Commit bc84266 pushed by clayrat
June 6, 2023 15:31 28m 22s master
master
June 6, 2023 15:31 28m 22s
use slice library & add quicksort Docker CI #20: Pull request #22 synchronize by clayrat
March 31, 2023 19:33 5m 44s slice
slice
March 31, 2023 19:33 5m 44s