Skip to content

Actions: CakeML/pure

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
100 workflow runs
100 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

CI CI #443: Scheduled
January 17, 2025 01:23 4h 18m 37s master
master
January 17, 2025 01:23 4h 18m 37s
CI CI #442: Scheduled
January 10, 2025 01:35 4h 18m 15s master
master
January 10, 2025 01:35 4h 18m 15s
CI CI #441: Scheduled
January 3, 2025 01:26 4h 18m 14s master
master
January 3, 2025 01:26 4h 18m 14s
Merge pull request #76 from CakeML/typeclassLang CI #440: Commit 67751eb pushed by hrutvik
December 30, 2024 17:28 4h 18m 3s master
master
December 30, 2024 17:28 4h 18m 3s
Typeclass lang CI #439: Pull request #76 synchronize by hrutvik
December 29, 2024 23:46 4h 18m 20s typeclassLang
typeclassLang
December 29, 2024 23:46 4h 18m 20s
Fix compiler/binary CI #438: Commit 0311f57 pushed by hrutvik
December 29, 2024 16:26 4h 14m 50s master
master
December 29, 2024 16:26 4h 14m 50s
Typeclass lang CI #437: Pull request #76 synchronize by hrutvik
December 28, 2024 23:51 4h 38m 12s typeclassLang
typeclassLang
December 28, 2024 23:51 4h 38m 12s
Fix state_to_cakeProof after updates to CakeML's Loc CI #436: Commit 917417d pushed by hrutvik
December 28, 2024 23:38 3h 53m 56s master
master
December 28, 2024 23:38 3h 53m 56s
CI CI #435: Manually run by hrutvik
December 28, 2024 22:45 1h 0m 35s master
master
December 28, 2024 22:45 1h 0m 35s
CI CI #434: Manually run by hrutvik
December 28, 2024 22:35 5m 18s fix-ci
fix-ci
December 28, 2024 22:35 5m 18s
CI CI #433: Manually run by hrutvik
December 28, 2024 22:30 3m 25s fix-ci
fix-ci
December 28, 2024 22:30 3m 25s
CI CI #432: Manually run by hrutvik
December 28, 2024 22:24 3m 24s fix-ci
fix-ci
December 28, 2024 22:24 3m 24s
CI CI #431: Scheduled
December 27, 2024 01:25 3m 27s master
master
December 27, 2024 01:25 3m 27s
CI CI #430: Scheduled
December 20, 2024 01:26 3m 31s master
master
December 20, 2024 01:26 3m 31s
CI CI #429: Scheduled
December 13, 2024 01:42 3m 34s master
master
December 13, 2024 01:42 3m 34s
CI CI #428: Scheduled
December 6, 2024 01:40 3m 47s master
master
December 6, 2024 01:40 3m 47s
CI CI #427: Scheduled
November 29, 2024 01:39 3m 39s master
master
November 29, 2024 01:39 3m 39s
CI CI #426: Manually run by hrutvik
November 22, 2024 15:53 3m 40s master
master
November 22, 2024 15:53 3m 40s
CI CI #425: Scheduled
November 22, 2024 01:38 3m 45s master
master
November 22, 2024 01:38 3m 45s
CI CI #424: Scheduled
November 15, 2024 01:38 1d 16h 58m 16s master
master
November 15, 2024 01:38 1d 16h 58m 16s
CI CI #423: Scheduled
November 8, 2024 01:24 7d 0h 14m 9s master
master
November 8, 2024 01:24 7d 0h 14m 9s
CI CI #422: Scheduled
November 1, 2024 01:40 5h 2m 41s master
master
November 1, 2024 01:40 5h 2m 41s
CI CI #421: Scheduled
October 25, 2024 01:26 5h 5m 31s master
master
October 25, 2024 01:26 5h 5m 31s
CI CI #420: Scheduled
October 18, 2024 01:25 6h 4m 27s master
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
typeclassLang
October 16, 2024 22:42 5h 25m 52s