Skip to content

Actions: sireum/kekinian

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
5,951 workflow runs
5,951 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Close inactive issues Close inactive issues #316: Scheduled
March 29, 2025 02:38 10s master
master
March 29, 2025 02:38 10s
Updated anvil. macOS #2390: Commit 12e75ca pushed by robby-phd
March 28, 2025 19:52 32m 49s master
master
March 28, 2025 19:52 32m 49s
Updated anvil. Distro #567: Commit 12e75ca pushed by robby-phd
March 28, 2025 19:52 1s master
master
March 28, 2025 19:52 1s
Updated anvil. macOS-CompCert #2390: Commit 12e75ca pushed by robby-phd
March 28, 2025 19:52 10m 58s master
master
March 28, 2025 19:52 10m 58s
Updated anvil. m2 #449: Commit 12e75ca pushed by robby-phd
March 28, 2025 19:52 24m 31s master
master
March 28, 2025 19:52 24m 31s
Updated anvil. Windows #2394: Commit 12e75ca pushed by robby-phd
March 28, 2025 19:52 1h 8m 28s master
master
March 28, 2025 19:52 1h 8m 28s
Updated anvil. Linux-CompCert #2390: Commit 12e75ca pushed by robby-phd
March 28, 2025 19:52 17m 16s master
master
March 28, 2025 19:52 17m 16s
Updated anvil. Linux #2394: Commit 12e75ca pushed by robby-phd
March 28, 2025 19:52 1h 1m 57s master
master
March 28, 2025 19:52 1h 1m 57s
Upgraded dep. [distro] Linux-CompCert #2389: Commit 7a557c5 pushed by robby-phd
March 28, 2025 15:23 17m 27s master
master
March 28, 2025 15:23 17m 27s
Upgraded dep. [distro] Distro #566: Commit 7a557c5 pushed by robby-phd
March 28, 2025 15:23 2h 2m 51s master
master
March 28, 2025 15:23 2h 2m 51s
Upgraded dep. [distro] macOS-CompCert #2389: Commit 7a557c5 pushed by robby-phd
March 28, 2025 15:23 11m 53s master
master
March 28, 2025 15:23 11m 53s
Upgraded dep. [distro] macOS #2389: Commit 7a557c5 pushed by robby-phd
March 28, 2025 15:23 36m 24s master
master
March 28, 2025 15:23 36m 24s
Upgraded dep. [distro] Windows #2393: Commit 7a557c5 pushed by robby-phd
March 28, 2025 15:23 1h 10m 38s master
master
March 28, 2025 15:23 1h 10m 38s
Upgraded dep. [distro] m2 #448: Commit 7a557c5 pushed by robby-phd
March 28, 2025 15:23 26m 17s master
master
March 28, 2025 15:23 26m 17s
Upgraded dep. [distro] Linux #2393: Commit 7a557c5 pushed by robby-phd
March 28, 2025 15:23 1h 3m 49s master
master
March 28, 2025 15:23 1h 3m 49s
Close inactive issues Close inactive issues #315: Scheduled
March 28, 2025 02:42 7s master
master
March 28, 2025 02:42 7s
Updated anvil. Distro #565: Commit e201647 pushed by robby-phd
March 27, 2025 18:15 1s master
master
March 27, 2025 18:15 1s
Updated anvil. Windows #2392: Commit e201647 pushed by robby-phd
March 27, 2025 18:15 1h 9m 41s master
master
March 27, 2025 18:15 1h 9m 41s
Updated anvil. macOS-CompCert #2388: Commit e201647 pushed by robby-phd
March 27, 2025 18:15 11m 24s master
master
March 27, 2025 18:15 11m 24s
Updated anvil. Linux-CompCert #2388: Commit e201647 pushed by robby-phd
March 27, 2025 18:15 17m 12s master
master
March 27, 2025 18:15 17m 12s
Updated anvil. m2 #447: Commit e201647 pushed by robby-phd
March 27, 2025 18:15 24m 50s master
master
March 27, 2025 18:15 24m 50s
Updated anvil. macOS #2388: Commit e201647 pushed by robby-phd
March 27, 2025 18:15 32m 30s master
master
March 27, 2025 18:15 32m 30s
Updated anvil. Linux #2392: Commit e201647 pushed by robby-phd
March 27, 2025 18:15 1h 3m 15s master
master
March 27, 2025 18:15 1h 3m 15s
Upgraded dep. [distro] m2 #446: Commit 256e0f3 pushed by robby-phd
March 27, 2025 15:07 25m 3s master
master
March 27, 2025 15:07 25m 3s
Upgraded dep. [distro] Windows #2391: Commit 256e0f3 pushed by robby-phd
March 27, 2025 15:07 1h 9m 14s master
master
March 27, 2025 15:07 1h 9m 14s