Skip to content

Actions: Russoul/Nova

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
11 workflow runs
11 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