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

Adjust a button width Deploy to GitHub Pages #42: Commit 44cff28 pushed by Nadrieril
September 15, 2024 14:07 1m 37s master
master
September 15, 2024 14:07 1m 37s
Tweak a gap Deploy to GitHub Pages #41: Commit d796b2a pushed by Nadrieril
September 15, 2024 14:03 1m 44s master
master
September 15, 2024 14:03 1m 44s
Fix Deploy to GitHub Pages #40: Commit 20a689f pushed by Nadrieril
September 15, 2024 14:01 1m 31s master
master
September 15, 2024 14:01 1m 31s
front: don't title the options outside of compare mode Deploy to GitHub Pages #39: Commit fc2c05e pushed by Nadrieril
September 15, 2024 13:55 1m 40s master
master
September 15, 2024 13:55 1m 40s
Mention the frontend in the README Deploy to GitHub Pages #38: Commit 487fd30 pushed by Nadrieril
September 15, 2024 13:52 1m 33s master
master
September 15, 2024 13:52 1m 33s
Rename a bundle Deploy to GitHub Pages #37: Commit 3e966d2 pushed by Nadrieril
September 15, 2024 13:49 1m 33s master
master
September 15, 2024 13:49 1m 33s
Dim solver comments Deploy to GitHub Pages #36: Commit 593e2ad pushed by Nadrieril
September 15, 2024 13:42 1m 30s master
master
September 15, 2024 13:42 1m 30s
Small fixes Deploy to GitHub Pages #35: Commit f97d24c pushed by Nadrieril
September 15, 2024 11:40 1m 30s master
master
September 15, 2024 11:40 1m 30s
Remove unnecessary conditional compilation Deploy to GitHub Pages #34: Commit 907ef46 pushed by Nadrieril
September 15, 2024 08:19 1m 30s master
master
September 15, 2024 08:19 1m 30s
Add help menu Deploy to GitHub Pages #33: Commit dbca527 pushed by Nadrieril
September 15, 2024 07:15 1m 52s master
master
September 15, 2024 07:15 1m 52s
Fix crash on unrecognized ruleset Deploy to GitHub Pages #32: Commit dccd56d pushed by Nadrieril
September 14, 2024 22:02 1m 27s master
master
September 14, 2024 22:02 1m 27s
front: improve tooltips Deploy to GitHub Pages #31: Commit 584c13a pushed by Nadrieril
September 14, 2024 21:50 1m 40s master
master
September 14, 2024 21:50 1m 40s
front: use more tables Deploy to GitHub Pages #30: Commit fbd9486 pushed by Nadrieril
September 14, 2024 21:35 1m 38s master
master
September 14, 2024 21:35 1m 38s
Change default frontend bundles Deploy to GitHub Pages #29: Commit 81347d1 pushed by Nadrieril
September 14, 2024 18:48 1m 39s master
master
September 14, 2024 18:48 1m 39s
Rename two bundles Deploy to GitHub Pages #28: Commit 1016ac0 pushed by Nadrieril
September 14, 2024 18:46 1m 29s master
master
September 14, 2024 18:46 1m 29s
Store current state in URL params Deploy to GitHub Pages #27: Commit 5935683 pushed by Nadrieril
September 14, 2024 18:39 1m 36s master
master
September 14, 2024 18:39 1m 36s
Make it clearer when a button is disabled Deploy to GitHub Pages #26: Commit 0430c20 pushed by Nadrieril
September 14, 2024 17:26 1m 41s master
master
September 14, 2024 17:26 1m 41s
Make all navbars sticky and distinguish the two option sets Deploy to GitHub Pages #25: Commit 5a6e0ff pushed by Nadrieril
September 14, 2024 16:15 1m 33s master
master
September 14, 2024 16:15 1m 33s
Don't underline inherited references Deploy to GitHub Pages #24: Commit d74eb74 pushed by Nadrieril
September 14, 2024 05:34 1m 29s master
master
September 14, 2024 05:34 1m 29s
Change bootstrap theme Deploy to GitHub Pages #23: Commit 341118c pushed by Nadrieril
September 14, 2024 05:26 1m 30s master
master
September 14, 2024 05:26 1m 30s
Add compare mode Deploy to GitHub Pages #22: Commit 1c97fc9 pushed by Nadrieril
September 13, 2024 20:41 1m 32s master
master
September 13, 2024 20:41 1m 32s
Make structural prettier in the frontend Deploy to GitHub Pages #21: Commit 63bb64e pushed by Nadrieril
September 13, 2024 07:05 1m 39s master
master
September 13, 2024 07:05 1m 39s
Commit test outputs Deploy to GitHub Pages #20: Commit d6fb8df pushed by Nadrieril
September 13, 2024 06:53 1m 43s master
master
September 13, 2024 06:53 1m 43s
Improve dropdown label Deploy to GitHub Pages #19: Commit 3884362 pushed by Nadrieril
September 12, 2024 21:17 1m 32s master
master
September 12, 2024 21:17 1m 32s
Add "rules" tab to frontend Deploy to GitHub Pages #18: Commit b3c0c28 pushed by Nadrieril
September 12, 2024 19:50 15m 58s master
master
September 12, 2024 19:50 15m 58s