Skip to content

Actions: ryukinix/lisp-inference

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
66 workflow runs
66 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #43 from ryukinix/optimize-docker-build-time Deploy #12: Commit c1bca55 pushed by ryukinix
40s master
master
40s
perf: optimize docker build time CI #21: Pull request #43 opened by ryukinix
50s optimize-docker-build-time
optimize-docker-build-time
50s
Merge pull request #42 from ryukinix/add-max-propositions-validator Deploy #11: Commit df39a81 pushed by ryukinix
7m 57s master
master
7m 57s
feat: add max propositions validator CI #20: Pull request #42 synchronize by ryukinix
7m 53s add-max-propositions-validator
add-max-propositions-validator
7m 53s
feat: add max propositions validator CI #19: Pull request #42 synchronize by ryukinix
7m 51s add-max-propositions-validator
add-max-propositions-validator
7m 51s
feat: add max propositions validator CI #18: Pull request #42 opened by ryukinix
8m 22s add-max-propositions-validator
add-max-propositions-validator
8m 22s
Merge pull request #41 from ryukinix/update-badges-and-remove-travis Deploy #10: Commit 598bb56 pushed by ryukinix
8m 3s master
master
8m 3s
docs: update README.md with github action badge and remove travis CI #17: Pull request #41 opened by ryukinix
8m 26s update-badges-and-remove-travis
update-badges-and-remove-travis
8m 26s
pages build and deployment pages-build-deployment #5: by ryukinix
33s gh-pages
gh-pages
33s
Merge pull request #40 from ryukinix/add-tautologies-links Deploy #9: Commit 74a3401 pushed by ryukinix
8m 3s master
master
8m 3s
feat: add common tautologies as hyperlinks CI #16: Pull request #40 opened by ryukinix
7m 57s add-tautologies-links
add-tautologies-links
7m 57s
Merge pull request #38 from ryukinix/auto-docs Deploy #8: Commit c59009e pushed by ryukinix
8m 1s master
master
8m 1s
docs: add make docs CI #15: Pull request #38 synchronize by ryukinix
7m 59s auto-docs
auto-docs
7m 59s
pages build and deployment pages-build-deployment #4: by ryukinix
33s gh-pages
gh-pages
33s
docs: add make docs CI #14: Pull request #38 synchronize by ryukinix
7m 57s auto-docs
auto-docs
7m 57s
pages build and deployment pages-build-deployment #3: by ryukinix
35s gh-pages
gh-pages
35s
docs: add make docs CI #13: Pull request #38 synchronize by ryukinix
7m 53s auto-docs
auto-docs
7m 53s
pages build and deployment pages-build-deployment #2: by ryukinix
41s gh-pages
gh-pages
41s
pages build and deployment pages-build-deployment #1: by ryukinix
33s gh-pages
gh-pages
33s
docs: add make docs CI #12: Pull request #38 synchronize by ryukinix
7m 59s auto-docs
auto-docs
7m 59s
docs: add make docs CI #11: Pull request #38 opened by ryukinix
7m 58s auto-docs
auto-docs
7m 58s
Merge pull request #37 from ryukinix/fix-share-link-eval Deploy #7: Commit 780738a pushed by ryukinix
8m 34s master
master
8m 34s
fix: share link eval CI #10: Pull request #37 synchronize by ryukinix
8m 16s fix-share-link-eval
fix-share-link-eval
8m 16s
fix: share link eval CI #9: Pull request #37 opened by ryukinix
8m 16s fix-share-link-eval
fix-share-link-eval
8m 16s
Merge pull request #36 from ryukinix/minor-fixes Deploy #6: Commit f633639 pushed by ryukinix
8m 15s master
master
8m 15s