Skip to content

Actions: tadd/schaf

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
4,143 workflow runs
4,143 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Scheduled CodeQL #71: by github-advanced-security bot
1m 5s main
main
1m 5s
Update number->string with more tests. C CI #5326: Commit 58ee7da pushed by tadd
3m 1s complete-r5rs.rational
complete-r5rs.rational
3m 1s
Fix number->string with better fraction representation. C CI #5325: Commit 9470405 pushed by tadd
2m 29s complete-r5rs
complete-r5rs
2m 29s
Add -l option to load before main execution. C CI #5324: Commit a0a98b6 pushed by tadd
1m 41s main
main
1m 41s
Push on main CodeQL #70: by tadd
59s main
main
59s
Working. C CI #5323: Commit e78451f pushed by tadd
1m 42s fix-for-kat0h-scm
fix-for-kat0h-scm
1m 42s
Working. C CI #5322: Commit 8b3d5dd pushed by tadd
1m 47s fix-for-kat0h-scm
fix-for-kat0h-scm
1m 47s
Working. C CI #5321: Commit 44e9299 pushed by tadd
1m 41s fix-for-kat0h-scm
fix-for-kat0h-scm
1m 41s
Update number->string with more tests. C CI #5320: Commit 0864e1a pushed by tadd
3m 1s complete-r5rs.rational
complete-r5rs.rational
3m 1s
Fix number->string with better fraction representation. C CI #5319: Commit 5e27a5a pushed by tadd
2m 45s complete-r5rs
complete-r5rs
2m 45s
Try specialize. C CI #5318: Commit 99b4766 pushed by tadd
8m 48s fix-variadic-closure-with-reqargs.sp
fix-variadic-closure-with-reqargs.sp
8m 48s
Check duplication in let binings too. C CI #5317: Commit 4b461e1 pushed by tadd
1m 50s fix-variadic-closure-with-reqargs
fix-variadic-closure-with-reqargs
1m 50s
Try specialize. C CI #5316: Commit b7b22b0 pushed by tadd
2m 7s fix-variadic-closure-with-reqargs.sp
fix-variadic-closure-with-reqargs.sp
2m 7s
Check duplication in let binings too. C CI #5315: Commit a66e956 pushed by tadd
1m 59s fix-variadic-closure-with-reqargs
fix-variadic-closure-with-reqargs
1m 59s
Check duplication in let binings too. C CI #5314: Commit fe4be9e pushed by tadd
1m 56s fix-variadic-closure-with-reqargs
fix-variadic-closure-with-reqargs
1m 56s
Validate parameter name duplication. C CI #5313: Commit d2703c4 pushed by tadd
1m 55s fix-variadic-closure-with-reqargs
fix-variadic-closure-with-reqargs
1m 55s
Validate parameter name duplication. C CI #5312: Commit 5db0701 pushed by tadd
1m 56s fix-variadic-closure-with-reqargs
fix-variadic-closure-with-reqargs
1m 56s
Fix order and refactor. C CI #5311: Commit 6f7f223 pushed by tadd
1m 54s fix-variadic-closure-with-reqargs
fix-variadic-closure-with-reqargs
1m 54s
Try. C CI #5310: Commit f343371 pushed by tadd
1m 52s fix-variadic-closure-with-reqargs
fix-variadic-closure-with-reqargs
1m 52s
Try. C CI #5309: Commit bbd3f46 pushed by tadd
37s fix-variadic-closure-with-reqargs
fix-variadic-closure-with-reqargs
37s
Try specialize. C CI #5308: Commit 904a234 pushed by tadd
1m 43s fix-variadic-closure-with-reqargs.sp
fix-variadic-closure-with-reqargs.sp
1m 43s
More strict checking. C CI #5307: Commit f3d9743 pushed by tadd
1m 43s fix-variadic-closure-with-reqargs
fix-variadic-closure-with-reqargs
1m 43s
Refactoring. C CI #5306: Commit aa1b11b pushed by tadd
1m 44s main
main
1m 44s
Push on main CodeQL #69: by tadd
1m 1s main
main
1m 1s
More strict checking. C CI #5305: Commit d1ea124 pushed by tadd
1m 53s fix-variadic-closure-with-reqargs
fix-variadic-closure-with-reqargs
1m 53s