Skip to content

Actions: sireum/kekinian

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,500+ workflow runs
2,500+ workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Close inactive issues Close inactive issues #706: Scheduled
6s master
master
6s
Updated slang. m2 #946: Commit 4ab1415 pushed by robby-phd
24m 41s master
master
24m 41s
Updated slang. Distro #1088: Commit 4ab1415 pushed by robby-phd
1s master
master
1s
Updated slang. Linux-CompCert #2875: Commit 4ab1415 pushed by robby-phd
17m 4s master
master
17m 4s
Updated slang. macOS #2875: Commit 4ab1415 pushed by robby-phd
1h 4m 54s master
master
1h 4m 54s
Updated slang. Linux #2879: Commit 4ab1415 pushed by robby-phd
54m 35s master
master
54m 35s
Updated slang. macOS-CompCert #2875: Commit 4ab1415 pushed by robby-phd
35m 18s master
master
35m 18s
Updated slang. Windows #2879: Commit 4ab1415 pushed by robby-phd
1h 1m 16s master
master
1h 1m 16s
update hamr codegen Distro #1087: Commit 757535e pushed by jasonbelt
1s master
master
1s
update hamr codegen macOS #2874: Commit 757535e pushed by jasonbelt
59m 53s master
master
59m 53s
update hamr codegen Linux-CompCert #2874: Commit 757535e pushed by jasonbelt
18m 16s master
master
18m 16s
update hamr codegen macOS-CompCert #2874: Commit 757535e pushed by jasonbelt
16m 51s master
master
16m 51s
update hamr codegen Windows #2878: Commit 757535e pushed by jasonbelt
1h 8m 8s master
master
1h 8m 8s
update hamr codegen Linux #2878: Commit 757535e pushed by jasonbelt
1h 5m 37s master
master
1h 5m 37s
update hamr codegen m2 #945: Commit 757535e pushed by jasonbelt
27m 8s master
master
27m 8s
Close inactive issues Close inactive issues #705: Scheduled
6s master
master
6s
update hamr codegen [distro] macOS-CompCert #2873: Commit e25f551 pushed by jasonbelt
19m 39s master
master
19m 39s
update hamr codegen [distro] Distro #1086: Commit e25f551 pushed by jasonbelt
1h 47m 29s master
master
1h 47m 29s
update hamr codegen [distro] Linux-CompCert #2873: Commit e25f551 pushed by jasonbelt
14m 37s master
master
14m 37s
update hamr codegen [distro] Windows #2877: Commit e25f551 pushed by jasonbelt
1h 6m 14s master
master
1h 6m 14s
update hamr codegen [distro] m2 #944: Commit e25f551 pushed by jasonbelt
27m 36s master
master
27m 36s
update hamr codegen [distro] Linux #2877: Commit e25f551 pushed by jasonbelt
1h 6m 24s master
master
1h 6m 24s
update hamr codegen [distro] macOS #2873: Commit e25f551 pushed by jasonbelt
51m 22s master
master
51m 22s
Updated slang and anvil. macOS #2872: Commit 292c6a3 pushed by robby-phd
54m 23s master
master
54m 23s
Updated slang and anvil. Linux #2876: Commit 292c6a3 pushed by robby-phd
1h 8m 50s master
master
1h 8m 50s