Skip to content

Actions: Russoul/Nova

Actions

nova

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
nova.yml
27 workflow runs
27 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update README nova #27: Commit 00e9049 pushed by Russoul
August 10, 2024 09:57 16m 57s main
main
August 10, 2024 09:57 16m 57s
Update README nova #26: Commit 0d36c49 pushed by Russoul
August 10, 2024 09:57 17m 13s main
main
August 10, 2024 09:57 17m 13s
Factor out the parsing library nova #25: Commit 29a4854 pushed by Russoul
August 10, 2024 09:56 17m 15s main
main
August 10, 2024 09:56 17m 15s
Thoughts on extrinsic syntax and proof-relevant typing nova #24: Pull request #35 synchronize by Russoul
July 11, 2024 20:24 21m 26s extrinsic-syntax-and-proof-relevant-typing
extrinsic-syntax-and-proof-relevant-typing
July 11, 2024 20:24 21m 26s
Set in stone the design of critical errors, fix some code around that nova #23: Commit 756df32 pushed by Russoul
February 4, 2024 08:56 2m 1s main
main
February 4, 2024 08:56 2m 1s
Set in stone the design of critical errors, fix some code around that nova #22: Pull request #36 opened by Russoul
February 4, 2024 08:10 1m 54s critical-error
critical-error
February 4, 2024 08:10 1m 54s
Thoughts on extrinsic syntax and proof-relevant typing nova #21: Pull request #35 opened by Russoul
February 2, 2024 16:47 18m 50s extrinsic-syntax-and-proof-relevant-typing
extrinsic-syntax-and-proof-relevant-typing
February 2, 2024 16:47 18m 50s
Remove most of not-so-relevant documents nova #20: Commit 0df78e4 pushed by Russoul
February 2, 2024 16:43 19m 16s main
main
February 2, 2024 16:43 19m 16s
Commutative Monoid Solver (#30) nova #19: Commit 3187f6d pushed by Russoul
January 25, 2024 14:02 19m 58s main
main
January 25, 2024 14:02 19m 58s
Commutative Monoid Solver nova #18: Pull request #30 synchronize by Russoul
January 25, 2024 13:33 20m 1s comm-monoid-solver
comm-monoid-solver
January 25, 2024 13:33 20m 1s
Commutative Monoid Solver nova #17: Pull request #30 synchronize by Russoul
January 25, 2024 13:26 19m 9s comm-monoid-solver
comm-monoid-solver
January 25, 2024 13:26 19m 9s
Commutative Monoid Solver nova #16: Pull request #30 synchronize by Russoul
January 6, 2024 02:12 1m 46s comm-monoid-solver
comm-monoid-solver
January 6, 2024 02:12 1m 46s
Add closed normalisation; fix a bug in closed evaluation nova #15: Commit 4844612 pushed by Russoul
January 5, 2024 11:29 19m 14s main
main
January 5, 2024 11:29 19m 14s
Add closed normalisation; fix a bug in closed evaluation nova #14: Pull request #32 opened by Russoul
January 5, 2024 10:46 19m 3s closed-normalisation
closed-normalisation
January 5, 2024 10:46 19m 3s
Commutative Monoid Solver nova #13: Pull request #30 opened by Russoul
December 29, 2023 01:34 1m 58s comm-monoid-solver
comm-monoid-solver
December 29, 2023 01:34 1m 58s
Split Elaboration into multiple files. That didn't fix performance th… nova #12: Commit c5efe76 pushed by Russoul
December 24, 2023 22:21 1m 42s main
main
December 24, 2023 22:21 1m 42s
Split Elaboration into multiple files. That didn't fix performance though nova #11: Pull request #27 opened by Russoul
December 24, 2023 22:13 1m 42s split-elab
split-elab
December 24, 2023 22:13 1m 42s
Inference for Elem: return the canonical type; Remove nova.ipkg; Fix … nova #10: Commit 32034b0 pushed by Russoul
December 21, 2023 12:53 1m 54s main
main
December 21, 2023 12:53 1m 54s
Inference for Elem: return the canonical type; Remove nova.ipkg; Fix an indexing bug in Context.idr nova #9: Pull request #23 opened by Russoul
December 21, 2023 12:42 1m 59s infer
infer
December 21, 2023 12:42 1m 59s
Implement let definitions where RHS is a large type nova #8: Commit 0aafa0f pushed by Russoul
December 20, 2023 23:57 1m 52s main
main
December 20, 2023 23:57 1m 52s
Update target Idris2 version nova #7: Commit e9533c0 pushed by Russoul
December 20, 2023 23:12 18m 58s main
main
December 20, 2023 23:12 18m 58s
Implement let definitions where RHS is a large type nova #6: Pull request #21 opened by Russoul
December 20, 2023 23:06 18m 5s let-type
let-type
December 20, 2023 23:06 18m 5s
Unfold tactic as a better reduce nova #5: Commit 9222742 pushed by Russoul
December 9, 2023 20:59 1m 39s main
main
December 9, 2023 20:59 1m 39s
Unfold tactic as a better reduce nova #4: Pull request #13 synchronize by Russoul
December 9, 2023 14:27 18m 11s unfold
unfold
December 9, 2023 14:27 18m 11s
Install Just-a-Monad nova #3: Commit ca19c8f pushed by Russoul
December 9, 2023 14:24 17m 35s main
main
December 9, 2023 14:24 17m 35s