Skip to content

Actions: CakeML/pure

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
107 workflow runs
107 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

CI
CI #430: Scheduled
December 20, 2024 01:26 3m 31s master
December 20, 2024 01:26 3m 31s
CI
CI #429: Scheduled
December 13, 2024 01:42 3m 34s master
December 13, 2024 01:42 3m 34s
CI
CI #428: Scheduled
December 6, 2024 01:40 3m 47s master
December 6, 2024 01:40 3m 47s
CI
CI #427: Scheduled
November 29, 2024 01:39 3m 39s master
November 29, 2024 01:39 3m 39s
CI
CI #426: Manually run by hrutvik
November 22, 2024 15:53 3m 40s master
November 22, 2024 15:53 3m 40s
CI
CI #425: Scheduled
November 22, 2024 01:38 3m 45s master
November 22, 2024 01:38 3m 45s
CI
CI #424: Scheduled
November 15, 2024 01:38 1d 16h 58m 16s master
November 15, 2024 01:38 1d 16h 58m 16s
CI
CI #423: Scheduled
November 8, 2024 01:24 7d 0h 14m 9s master
November 8, 2024 01:24 7d 0h 14m 9s
CI
CI #422: Scheduled
November 1, 2024 01:40 5h 2m 41s master
November 1, 2024 01:40 5h 2m 41s
CI
CI #421: Scheduled
October 25, 2024 01:26 5h 5m 31s master
October 25, 2024 01:26 5h 5m 31s
CI
CI #420: Scheduled
October 18, 2024 01:25 6h 4m 27s master
October 18, 2024 01:25 6h 4m 27s
Typeclass lang
CI #419: Pull request #76 synchronize by Gordon-Sau
October 16, 2024 22:42 5h 25m 52s typeclassLang
October 16, 2024 22:42 5h 25m 52s
Typeclass lang
CI #418: Pull request #76 opened by Gordon-Sau
October 16, 2024 08:20 5h 25m 28s typeclassLang
October 16, 2024 08:20 5h 25m 28s
CI
CI #417: Scheduled
October 11, 2024 01:25 5h 26m 4s master
October 11, 2024 01:25 5h 26m 4s
CI
CI #416: Scheduled
October 4, 2024 01:25 5h 4m 10s master
October 4, 2024 01:25 5h 4m 10s
CI
CI #415: Scheduled
September 27, 2024 01:25 5h 6m 54s master
September 27, 2024 01:25 5h 6m 54s
CI
CI #414: Scheduled
September 20, 2024 01:23 5h 7m 8s master
September 20, 2024 01:23 5h 7m 8s
CI
CI #413: Scheduled
September 13, 2024 01:21 5h 29m 59s master
September 13, 2024 01:21 5h 29m 59s
Publish PureCake Docker image
Publish PureCake Docker image #15: Manually run by hrutvik
September 10, 2024 14:21 2h 31m 21s master
September 10, 2024 14:21 2h 31m 21s
CI
CI #412: Manually run by hrutvik
September 10, 2024 08:24 5h 29m 57s master
September 10, 2024 08:24 5h 29m 57s
Fix pure_eval_surj after change in HOL
CI #411: Commit f52bc18 pushed by hrutvik
September 9, 2024 22:32 5h 21m 56s master
September 9, 2024 22:32 5h 21m 56s
Publish PureCake Docker image
Publish PureCake Docker image #14: Manually run by hrutvik
September 9, 2024 19:36 1h 33m 42s master
September 9, 2024 19:36 1h 33m 42s
CI
CI #410: Manually run by hrutvik
September 9, 2024 19:36 56m 27s master
September 9, 2024 19:36 56m 27s
A couple of minor fixes
CI #409: Commit 4087218 pushed by hrutvik
September 8, 2024 22:24 5h 28m 14s master
September 8, 2024 22:24 5h 28m 14s
CI
CI #408: Scheduled
September 6, 2024 01:20 5h 3m 21s master
September 6, 2024 01:20 5h 3m 21s