Skip to content

Actions: Colonial-Dev/deduct

Actions

Cargo Comprehensive

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
rust.yml
41 workflow runs
41 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Set up for WASM Cargo Comprehensive #16: Commit b0e4828 pushed by Colonial-Dev
April 23, 2024 17:23 3m 39s master
master
April 23, 2024 17:23 3m 39s
Mostly done with UI Cargo Comprehensive #15: Commit a789e6e pushed by Colonial-Dev
April 23, 2024 08:19 5m 2s master
master
April 23, 2024 08:19 5m 2s
More UI hacking (implement new proof modal) Cargo Comprehensive #14: Commit 9d4cb60 pushed by Colonial-Dev
April 22, 2024 04:45 4m 55s master
master
April 22, 2024 04:45 4m 55s
Big time UI hacking Cargo Comprehensive #13: Commit 9928176 pushed by Colonial-Dev
April 21, 2024 08:43 4m 42s master
master
April 21, 2024 08:43 4m 42s
Patch modal accessibility checks Cargo Comprehensive #12: Commit 44ec7bb pushed by Colonial-Dev
April 2, 2024 00:28 4m 53s master
master
April 2, 2024 00:28 4m 53s
Finish implementing modal logic Cargo Comprehensive #11: Commit 831f6cf pushed by Colonial-Dev
April 1, 2024 23:01 4m 41s master
master
April 1, 2024 23:01 4m 41s
Enforce that strict and relaxed rules are only used in their appropri… Cargo Comprehensive #10: Commit d9c30b2 pushed by Colonial-Dev
April 1, 2024 21:30 4m 56s master
master
April 1, 2024 21:30 4m 56s
Start implementing modal logic Cargo Comprehensive #9: Commit 176461f pushed by Colonial-Dev
March 29, 2024 21:40 4m 56s master
master
March 29, 2024 21:40 4m 56s
Finish implementing derived TFL rules Cargo Comprehensive #8: Commit ef896cd pushed by Colonial-Dev
March 29, 2024 21:21 5m 26s master
master
March 29, 2024 21:21 5m 26s
Start implementing derived TFL rules Cargo Comprehensive #7: Commit 622e56f pushed by Colonial-Dev
March 29, 2024 01:32 4m 49s master
master
March 29, 2024 01:32 4m 49s
Implement checker Cargo Comprehensive #6: Commit faebedd pushed by Colonial-Dev
March 28, 2024 20:15 4m 57s master
master
March 28, 2024 20:15 4m 57s
Add conditional I/E rules (oops) Cargo Comprehensive #5: Commit b51f543 pushed by Colonial-Dev
March 28, 2024 18:35 4m 52s master
master
March 28, 2024 18:35 4m 52s
Implemented all basic TFL rules Cargo Comprehensive #4: Commit e30d40b pushed by Colonial-Dev
March 28, 2024 04:39 4m 43s master
master
March 28, 2024 04:39 4m 43s
Started working on proof rule impls Cargo Comprehensive #3: Commit d9bef8d pushed by Colonial-Dev
March 27, 2024 22:28 4m 45s master
master
March 27, 2024 22:28 4m 45s
Implement proof parser Cargo Comprehensive #2: Commit 900e50f pushed by Colonial-Dev
March 26, 2024 04:00 4m 54s master
master
March 26, 2024 04:00 4m 54s
Fancy up README Cargo Comprehensive #1: Commit a27000e pushed by Colonial-Dev
March 26, 2024 01:27 1m 33s master
master
March 26, 2024 01:27 1m 33s