Skip to content

Actions: arnodb/truc

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
127 workflow runs
127 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Test the static type resolver
Code Coverage #15: Commit f1b904f pushed by arnodb
October 30, 2024 17:23 41s main
October 30, 2024 17:23 41s
Simplify type rewriter
Continuous Integration #90: Commit abdbca2 pushed by arnodb
October 30, 2024 16:36 2m 33s main
October 30, 2024 16:36 2m 33s
Simplify type rewriter
Code Coverage #14: Commit abdbca2 pushed by arnodb
October 30, 2024 16:36 42s main
October 30, 2024 16:36 42s
Use syn visitor to rewrite types
Code Coverage #13: Commit a7ee91a pushed by arnodb
October 30, 2024 14:29 42s main
October 30, 2024 14:29 42s
Use syn visitor to rewrite types
Continuous Integration #89: Commit a7ee91a pushed by arnodb
October 30, 2024 14:29 2m 36s main
October 30, 2024 14:29 2m 36s
Use syn visitor to rewrite types
Continuous Integration #88: Commit 9121cce pushed by arnodb
October 30, 2024 08:22 35m 49s main
October 30, 2024 08:22 35m 49s
Use syn visitor to rewrite types
Code Coverage #12: Commit 9121cce pushed by arnodb
October 30, 2024 08:22 18m 38s main
October 30, 2024 08:22 18m 38s
Use syn visitor to rewrite types
Continuous Integration #87: Commit 75d06b8 pushed by arnodb
October 30, 2024 07:31 54m 27s main
October 30, 2024 07:31 54m 27s
Use syn visitor to rewrite types
Code Coverage #11: Commit 75d06b8 pushed by arnodb
October 30, 2024 07:31 46m 20s main
October 30, 2024 07:31 46m 20s
Use syn visitor to rewrite types
Continuous Integration #86: Commit 3420a1e pushed by arnodb
October 30, 2024 07:29 48m 34s main
October 30, 2024 07:29 48m 34s
Use syn visitor to rewrite types
Code Coverage #10: Commit 3420a1e pushed by arnodb
October 30, 2024 07:29 53m 28s main
October 30, 2024 07:29 53m 28s
Exclude tests from coverage
Code Coverage #9: Commit cf71404 pushed by arnodb
October 30, 2024 06:39 59m 58s main
October 30, 2024 06:39 59m 58s
Exclude tests from coverage
Continuous Integration #85: Commit cf71404 pushed by arnodb
October 30, 2024 06:39 1h 15m 19s main
October 30, 2024 06:39 1h 15m 19s
Unstable features
Continuous Integration #84: Commit de9767b pushed by arnodb
October 29, 2024 21:50 2m 22s main
October 29, 2024 21:50 2m 22s
Unstable features
Code Coverage #8: Commit de9767b pushed by arnodb
October 29, 2024 21:50 38s main
October 29, 2024 21:50 38s
Unstable features
Continuous Integration #83: Commit 946b7cb pushed by arnodb
October 29, 2024 21:48 2m 27s main
October 29, 2024 21:48 2m 27s
Unstable features
Code Coverage #7: Commit 946b7cb pushed by arnodb
October 29, 2024 21:48 39s main
October 29, 2024 21:48 39s
Unstable features
Continuous Integration #82: Commit 9869542 pushed by arnodb
October 29, 2024 21:46 2m 24s main
October 29, 2024 21:46 2m 24s
Unstable features
Code Coverage #6: Commit 9869542 pushed by arnodb
October 29, 2024 21:46 39s main
October 29, 2024 21:46 39s
Unstable features
Continuous Integration #81: Commit 78a48d6 pushed by arnodb
October 29, 2024 21:42 2m 21s main
October 29, 2024 21:42 2m 21s
Unstable features
Code Coverage #5: Commit 78a48d6 pushed by arnodb
October 29, 2024 21:42 40s main
October 29, 2024 21:42 40s
Fix coverage badge
Code Coverage #4: Commit 5bf5678 pushed by arnodb
October 27, 2024 20:15 41s main
October 27, 2024 20:15 41s
Fix coverage badge
Continuous Integration #80: Commit 5bf5678 pushed by arnodb
October 27, 2024 20:15 2m 48s main
October 27, 2024 20:15 2m 48s
More CI details
Code Coverage #3: Commit 18af265 pushed by arnodb
October 27, 2024 20:13 44s main
October 27, 2024 20:13 44s
More CI details
Continuous Integration #79: Commit 18af265 pushed by arnodb
October 27, 2024 20:13 2m 35s main
October 27, 2024 20:13 2m 35s