Skip to content

Actions: DCupello1/spectec

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
28 workflow runs
28 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #187 from DCupello1/else-pass CI for spectec #16: Commit fbde36b pushed by DCupello1
17m 17s main
main
17m 17s
Merge pull request #187 from DCupello1/else-pass CI for specs #16: Commit fbde36b pushed by DCupello1
12m 33s main
main
12m 33s
Merge pull request #186 from DCupello1/typefamily-removal-pass CI for specs #15: Commit d6b06e7 pushed by DCupello1
12m 48s main
main
12m 48s
Merge pull request #186 from DCupello1/typefamily-removal-pass CI for spectec #15: Commit d6b06e7 pushed by DCupello1
17m 34s main
main
17m 34s
Fix xrefs CI for interpreter & tests #10: Commit f196249 pushed by DCupello1
5m 55s main
main
5m 55s
Fix xrefs CI for spectec #14: Commit f196249 pushed by DCupello1
17m 20s main
main
17m 20s
Fix xrefs CI for specs #14: Commit f196249 pushed by DCupello1
14m 56s main
main
14m 56s
Fix escape CI for spectec #13: Commit 7a510ff pushed by DCupello1
17m 11s main
main
17m 11s
Fix escape CI for interpreter & tests #9: Commit 7a510ff pushed by DCupello1
6m 11s main
main
6m 11s
Fix escape CI for specs #13: Commit 7a510ff pushed by DCupello1
13m 38s main
main
13m 38s
Make testpromote CI for specs #12: Commit 41ca9cb pushed by DCupello1
7m 0s main
main
7m 0s
Make testpromote CI for interpreter & tests #8: Commit 41ca9cb pushed by DCupello1
5m 52s main
main
5m 52s
Make testpromote CI for spectec #12: Commit 41ca9cb pushed by DCupello1
15m 51s main
main
15m 51s
Remove wrong render: 'the context s' CI for specs #11: Commit 05edd2d pushed by DCupello1
13m 29s main
main
13m 29s
Remove wrong render: 'the context s' CI for interpreter & tests #7: Commit 05edd2d pushed by DCupello1
6m 1s main
main
6m 1s
Remove wrong render: 'the context s' CI for spectec #11: Commit 05edd2d pushed by DCupello1
12m 25s main
main
12m 25s
Merge branch 'upstream' CI for interpreter & tests #6: Commit f8b0228 pushed by DCupello1
17m 21s main
main
17m 21s
Merge branch 'upstream' CI for spectec #10: Commit f8b0228 pushed by DCupello1
12m 7s main
main
12m 7s
Merge branch 'upstream' CI for specs #10: Commit f8b0228 pushed by DCupello1
13m 42s main
main
13m 42s
Testpromote CI for spectec #9: Commit 4d1a10c pushed by DCupello1
11m 58s main
main
11m 58s
Testpromote CI for specs #9: Commit 4d1a10c pushed by DCupello1
12m 20s main
main
12m 20s
Testpromote CI for interpreter & tests #5: Commit 4d1a10c pushed by DCupello1
5m 59s main
main
5m 59s
Update TEST.md CI for spectec #8: Commit a3211eb pushed by DCupello1
12m 0s main
main
12m 0s
Update TEST.md CI for specs #8: Commit a3211eb pushed by DCupello1
4m 36s main
main
4m 36s
Update TEST.md CI for interpreter & tests #4: Commit a3211eb pushed by DCupello1
5m 57s main
main
5m 57s