Skip to content

Actions: Marmare314/lemmify

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
15 workflow runs
15 workflow runs

Filter by Event

Loading

Filter by Status

Loading

Filter by Branch

Loading

Filter by Actor

Loading
fix typo in changelog Continuous integration #15: Commit 599c805 pushed by Marmare314
December 2, 2023 21:05 19s refactor
refactor
December 2, 2023 21:05 19s
fix typo in changelog Continuous integration #14: Commit 599c805 pushed by Marmare314
September 30, 2023 20:58 23s main
main
September 30, 2023 20:58 23s
Merge pull request #17 from Marmare314/refactor Continuous integration #13: Commit d114c2b pushed by Marmare314
September 30, 2023 20:50 24s main
main
September 30, 2023 20:50 24s
Refactor lemmify around link-to parameter Continuous integration #12: Pull request #17 opened by Marmare314
September 30, 2023 20:48 18s refactor
refactor
September 30, 2023 20:48 18s
add documentation to theorem-function Continuous integration #11: Commit 5edf2e1 pushed by Marmare314
September 30, 2023 20:45 21s refactor
refactor
September 30, 2023 20:45 21s
improve documentation Continuous integration #10: Commit aa8a34a pushed by Marmare314
September 30, 2023 17:07 24s refactor
refactor
September 30, 2023 17:07 24s
Merge branch 'main' into refactor Continuous integration #9: Commit 4d9e388 pushed by Marmare314
September 29, 2023 22:42 18s refactor
refactor
September 29, 2023 22:42 18s
remove test comparing pdf files Continuous integration #8: Commit f641ef0 pushed by Marmare314
September 29, 2023 22:39 17s refactor
refactor
September 29, 2023 22:39 17s
refactor readme generation and testing framework Continuous integration #7: Commit d673580 pushed by Marmare314
September 29, 2023 22:36 17s refactor
refactor
September 29, 2023 22:36 17s
update readme.pdf Continuous integration #6: Commit f5aef2a pushed by Marmare314
September 28, 2023 20:40 18s refactor
refactor
September 28, 2023 20:40 18s
fix tests Continuous integration #5: Commit a3537ed pushed by Marmare314
September 28, 2023 17:56 15s refactor
refactor
September 28, 2023 17:56 15s
add source documentation Continuous integration #4: Commit bd0be91 pushed by Marmare314
September 28, 2023 17:53 21s refactor
refactor
September 28, 2023 17:53 21s
improve selectors and work on generated readme Continuous integration #3: Commit c3081b2 pushed by Marmare314
September 28, 2023 13:47 22s refactor
refactor
September 28, 2023 13:47 22s
use explicit imports Continuous integration #2: Commit 2db9b33 pushed by Marmare314
September 27, 2023 14:02 23s refactor
refactor
September 27, 2023 14:02 23s
add ci and return exit codes Continuous integration #1: Commit 3064414 pushed by Marmare314
September 27, 2023 13:28 20s refactor
refactor
September 27, 2023 13:28 20s