Skip to content

Actions: Nadrieril/typing-rust-patterns

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
67 workflow runs
67 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Clarify text of rule 3 Deploy to GitHub Pages #67: Commit 27683d5 pushed by Nadrieril
October 20, 2024 17:06 1m 36s master
master
October 20, 2024 17:06 1m 36s
Fix display of rule 3 Deploy to GitHub Pages #66: Commit fd529d2 pushed by Nadrieril
October 20, 2024 17:00 1m 39s master
master
October 20, 2024 17:00 1m 39s
Improve sorting of comparison output Deploy to GitHub Pages #65: Commit be00267 pushed by Nadrieril
October 20, 2024 14:51 1m 31s master
master
October 20, 2024 14:51 1m 31s
Add a README note about abstract comparison Deploy to GitHub Pages #64: Commit b9cd384 pushed by Nadrieril
September 18, 2024 18:43 1m 48s master
master
September 18, 2024 18:43 1m 48s
Add min_ergonomics ruleset Deploy to GitHub Pages #63: Commit 0a7b861 pushed by Nadrieril
September 18, 2024 18:21 1m 37s master
master
September 18, 2024 18:21 1m 37s
Explain the solver design Deploy to GitHub Pages #62: Commit 4cd75c1 pushed by Nadrieril
September 18, 2024 18:11 1m 54s master
master
September 18, 2024 18:11 1m 54s
Allow comparing for one-directional compatibility Deploy to GitHub Pages #61: Commit 0f53cd6 pushed by Nadrieril
September 18, 2024 17:54 1m 35s master
master
September 18, 2024 17:54 1m 35s
oops Deploy to GitHub Pages #60: Commit 06ed802 pushed by Nadrieril
September 18, 2024 14:35 1m 48s master
master
September 18, 2024 14:35 1m 48s
Display typecheck result at the bottom of solver steps Deploy to GitHub Pages #59: Commit 49bd395 pushed by Nadrieril
September 17, 2024 16:56 1m 51s master
master
September 17, 2024 16:56 1m 51s
Try to fix CI Deploy to GitHub Pages #58: Commit 886e73e pushed by Nadrieril
September 17, 2024 09:30 1m 40s master
master
September 17, 2024 09:30 1m 40s
Fix typescript error Deploy to GitHub Pages #57: Commit 5ecf970 pushed by Nadrieril
September 17, 2024 09:20 1m 11s master
master
September 17, 2024 09:20 1m 11s
typo Deploy to GitHub Pages #56: Commit 5b6192c pushed by Nadrieril
September 17, 2024 07:25 1m 4s master
master
September 17, 2024 07:25 1m 4s
front: fix race conditions on search parameters Deploy to GitHub Pages #55: Commit a493dae pushed by Nadrieril
September 17, 2024 07:25 1m 15s master
master
September 17, 2024 07:25 1m 15s
front: truncate large compare outputs Deploy to GitHub Pages #54: Commit c1f204e pushed by Nadrieril
September 17, 2024 07:09 1m 20s master
master
September 17, 2024 07:09 1m 20s
front: cleaner compare tab behavior when exiting compare mode Deploy to GitHub Pages #53: Commit a554ce3 pushed by Nadrieril
September 17, 2024 06:34 1m 29s master
master
September 17, 2024 06:34 1m 29s
front: Allow sharing a URL with a comparison result Deploy to GitHub Pages #52: Commit f51d5a4 pushed by Nadrieril
September 17, 2024 06:30 1m 56s master
master
September 17, 2024 06:30 1m 56s
Make whole row clickable Deploy to GitHub Pages #51: Commit 1444867 pushed by Nadrieril
September 17, 2024 06:13 1m 50s master
master
September 17, 2024 06:13 1m 50s
Click on compare row to see the steps Deploy to GitHub Pages #50: Commit 2fd0f6f pushed by Nadrieril
September 16, 2024 07:22 1m 32s master
master
September 16, 2024 07:22 1m 32s
Warn about the rule4_early bugs Deploy to GitHub Pages #49: Commit 08797e9 pushed by Nadrieril
September 16, 2024 07:09 1m 36s master
master
September 16, 2024 07:09 1m 36s
front: make rules display more consistent Deploy to GitHub Pages #48: Commit 813a150 pushed by Nadrieril
September 15, 2024 20:47 1m 37s master
master
September 15, 2024 20:47 1m 37s
Remove unnecessary Container Deploy to GitHub Pages #47: Commit a94ac93 pushed by Nadrieril
September 15, 2024 20:42 1m 43s master
master
September 15, 2024 20:42 1m 43s
Unify the various typechecking functions Deploy to GitHub Pages #46: Commit 6bf841e pushed by Nadrieril
September 15, 2024 20:40 1m 37s master
master
September 15, 2024 20:40 1m 37s
Remember variable names in typechecking result Deploy to GitHub Pages #45: Commit fcc0dec pushed by Nadrieril
September 15, 2024 20:01 1m 31s master
master
September 15, 2024 20:01 1m 31s
Cleanup some TODOs Deploy to GitHub Pages #44: Commit 32ae171 pushed by Nadrieril
September 15, 2024 19:41 1m 30s master
master
September 15, 2024 19:41 1m 30s
Introduce intermediate representation in rules printing Deploy to GitHub Pages #43: Commit a29ae82 pushed by Nadrieril
September 15, 2024 19:37 1m 28s master
master
September 15, 2024 19:37 1m 28s