Skip to content

Actions: smimram/cccatt

Actions

Build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
200 workflow runs
200 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Elaboration. Build #75: Commit 104c0dd pushed by smimram
October 25, 2024 13:03 1m 1s main
main
October 25, 2024 13:03 1m 1s
Elaboration. Build #74: Commit a5d5782 pushed by smimram
October 25, 2024 11:14 1m 8s main
main
October 25, 2024 11:14 1m 8s
Maybe some day. Build #73: Commit 9ae2de4 pushed by smimram
October 25, 2024 11:03 1m 6s main
main
October 25, 2024 11:03 1m 6s
Doc. Build #72: Commit f369061 pushed by smimram
October 25, 2024 10:48 1m 6s main
main
October 25, 2024 10:48 1m 6s
Nicer. Build #71: Commit d4eb702 pushed by smimram
October 25, 2024 10:47 49s main
main
October 25, 2024 10:47 49s
SKK Build #70: Commit 1867b8c pushed by smimram
October 25, 2024 10:42 48s main
main
October 25, 2024 10:42 48s
SKK Build #69: Commit 1867b8c pushed by smimram
October 25, 2024 10:41 31s no-values
no-values
October 25, 2024 10:41 31s
No more values. Build #68: Commit b5d0133 pushed by smimram
October 25, 2024 10:36 31s no-values
no-values
October 25, 2024 10:36 31s
Passing ! Build #67: Commit 28bd17b pushed by smimram
October 25, 2024 10:36 27s no-values
no-values
October 25, 2024 10:36 27s
Unification. Build #66: Commit d65d3be pushed by smimram
October 25, 2024 10:08 26s no-values
no-values
October 25, 2024 10:08 26s
Version without distinguished values. Build #65: Commit 2808c55 pushed by smimram
October 25, 2024 09:58 57s no-values
no-values
October 25, 2024 09:58 57s
Readback at toplevel. Build #64: Commit 1c211b2 pushed by smimram
October 25, 2024 07:24 50s main
main
October 25, 2024 07:24 50s
Debug holes. Build #63: Commit 6474f93 pushed by smimram
October 25, 2024 07:10 49s main
main
October 25, 2024 07:10 49s
Working _. Build #62: Commit 621f2b8 pushed by smimram
October 24, 2024 16:09 1m 0s main
main
October 24, 2024 16:09 1m 0s
Remove this. Build #61: Commit a7d0ae7 pushed by smimram
October 24, 2024 13:57 55s main
main
October 24, 2024 13:57 55s
Elaboration. Build #60: Commit 8fde9f3 pushed by smimram
October 24, 2024 13:57 43s main
main
October 24, 2024 13:57 43s
Simpler. Build #59: Commit 1ee4485 pushed by smimram
October 24, 2024 13:44 46s main
main
October 24, 2024 13:44 46s
Revert "Better hole elaboration." Build #58: Commit 0f556bd pushed by smimram
October 24, 2024 13:40 52s main
main
October 24, 2024 13:40 52s
Better hole elaboration. Build #57: Commit d1c7d4e pushed by smimram
October 24, 2024 13:39 48s main
main
October 24, 2024 13:39 48s
deps. Build #56: Commit 353422c pushed by smimram
October 21, 2024 13:49 1m 10s main
main
October 21, 2024 13:49 1m 10s
Split Curry. Build #55: Commit 9af8d05 pushed by smimram
October 21, 2024 13:43 50s main
main
October 21, 2024 13:43 50s
Curry's axioms. Build #54: Commit aff0ff2 pushed by smimram
October 21, 2024 13:15 56s main
main
October 21, 2024 13:15 56s
Debug. Build #53: Commit 10b0d36 pushed by smimram
October 21, 2024 11:24 59s main
main
October 21, 2024 11:24 59s
Fail on failure. Build #52: Commit 0c68184 pushed by smimram
October 19, 2024 09:19 38s main
main
October 19, 2024 09:19 38s
Nicer printing. Build #51: Commit 169127e pushed by smimram
October 19, 2024 09:16 1m 19s main
main
October 19, 2024 09:16 1m 19s