Skip to content

Actions: smimram/cccatt

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
198 workflow runs
198 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Working better. Build #98: Commit aca9027 pushed by smimram
November 5, 2024 21:58 28s implicit
implicit
November 5, 2024 21:58 28s
Implicit application. Build #97: Commit 739d797 pushed by smimram
November 5, 2024 21:36 45s implicit
implicit
November 5, 2024 21:36 45s
More implicit tests. Build #96: Commit 5622cf0 pushed by smimram
November 5, 2024 12:45 34s implicit
implicit
November 5, 2024 12:45 34s
Remove subst. Build #95: Commit 8678d09 pushed by smimram
November 5, 2024 12:22 51s implicit
implicit
November 5, 2024 12:22 51s
Test implementation with values. Build #94: Commit 44d24cc pushed by smimram
November 5, 2024 12:22 32s values
values
November 5, 2024 12:22 32s
More implicit. Build #93: Commit 1c95f43 pushed by smimram
November 5, 2024 12:03 1m 2s implicit
implicit
November 5, 2024 12:03 1m 2s
Remove subst. Build #92: Commit ebd01bb pushed by smimram
November 5, 2024 11:46 50s main
main
November 5, 2024 11:46 50s
Minor. Build #91: Commit 769cd95 pushed by smimram
November 5, 2024 11:46 1m 0s main
main
November 5, 2024 11:46 1m 0s
To be fixed. Build #90: Commit ea92499 pushed by smimram
November 5, 2024 10:47 44s implicit
implicit
November 5, 2024 10:47 44s
Get started with implicit arguments. Build #89: Commit 66fc3ae pushed by smimram
November 5, 2024 10:37 1m 14s implicit
implicit
November 5, 2024 10:37 1m 14s
Clear button. Build #88: Commit 20d4c9a pushed by smimram
November 5, 2024 10:08 1m 5s main
main
November 5, 2024 10:08 1m 5s
New cat. Build #87: Commit d0fe5ce pushed by smimram
November 5, 2024 09:43 53s main
main
November 5, 2024 09:43 53s
Readme. Build #86: Commit 83c1a38 pushed by smimram
November 5, 2024 09:13 1m 6s main
main
November 5, 2024 09:13 1m 6s
Better cat. Build #85: Commit 89879ab pushed by smimram
November 4, 2024 15:10 50s main
main
November 4, 2024 15:10 50s
Catch errors. Build #84: Commit d2264b8 pushed by smimram
November 4, 2024 15:09 1m 8s main
main
November 4, 2024 15:09 1m 8s
No position for = metavariable. Build #83: Commit d729099 pushed by smimram
November 4, 2024 15:04 1m 18s main
main
November 4, 2024 15:04 1m 18s
Sort metavariables. Build #82: Commit c83159a pushed by smimram
November 4, 2024 14:38 46s main
main
November 4, 2024 14:38 46s
Correct meta printing. Build #81: Commit 8ca9c2a pushed by smimram
November 4, 2024 14:31 1m 3s main
main
November 4, 2024 14:31 1m 3s
More metavariables. Build #80: Commit 5c3eb63 pushed by smimram
November 4, 2024 14:29 1m 11s main
main
November 4, 2024 14:29 1m 11s
TODO. Build #79: Commit 77bde4d pushed by smimram
November 4, 2024 14:24 47s main
main
November 4, 2024 14:24 47s
No need for substitution. Build #78: Commit d607b71 pushed by smimram
November 4, 2024 14:10 1m 14s main
main
November 4, 2024 14:10 1m 14s
comp-cong Build #77: Commit ce28a6a pushed by smimram
October 25, 2024 13:17 1m 6s main
main
October 25, 2024 13:17 1m 6s
diag-pair. Build #76: Commit 9975ee8 pushed by smimram
October 25, 2024 13:11 1m 9s main
main
October 25, 2024 13:11 1m 9s
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