Skip to content

Actions: w3c/rdf-semantics

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
548 workflow runs
548 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

added non-well foundedness note Echidna Auto-publish #423: Pull request #168 synchronize by franconi
54s non-well-foundedness
non-well-foundedness
54s
added non-well foundedness note Echidna Auto-publish #422: Pull request #168 synchronize by franconi
50s non-well-foundedness
non-well-foundedness
50s
added non-well foundedness note Echidna Auto-publish #421: Pull request #168 synchronize by franconi
42s non-well-foundedness
non-well-foundedness
42s
added non-well foundedness note Echidna Auto-publish #420: Pull request #168 synchronize by franconi
49s non-well-foundedness
non-well-foundedness
49s
added non-well foundedness note Echidna Auto-publish #419: Pull request #168 synchronize by franconi
42s non-well-foundedness
non-well-foundedness
42s
added non-well foundedness note Echidna Auto-publish #418: Pull request #168 synchronize by franconi
46s non-well-foundedness
non-well-foundedness
46s
added non-well foundedness note Echidna Auto-publish #417: Pull request #168 synchronize by franconi
51s non-well-foundedness
non-well-foundedness
51s
added non-well foundedness note Echidna Auto-publish #416: Pull request #168 synchronize by franconi
49s non-well-foundedness
non-well-foundedness
49s
added non-well foundedness note Echidna Auto-publish #415: Pull request #168 opened by franconi
49s non-well-foundedness
non-well-foundedness
49s
added non-well foundedness note Add pull requests and issues to projects #143: Pull request #168 opened by franconi
6s
6s
Added proof of interpolation lemma Echidna Auto-publish #414: Pull request #167 opened by franconi
1m 0s franconi:main
franconi:main
1m 0s
Added proof of interpolation lemma Add pull requests and issues to projects #142: Pull request #167 opened by franconi
9s
9s
pages build and deployment pages-build-deployment #107: by franconi
42s main
main
42s
Updating Appendix "Proofs of some results" for more results Echidna Auto-publish #413: Pull request #166 opened by franconi
50s proofs
proofs
50s
Updating Appendix "Proofs of some results" for more results Add pull requests and issues to projects #141: Pull request #166 opened by franconi
6s
6s
adapting proofs for interpolation lemma and canonical model Echidna Auto-publish #412: Commit a942568 pushed by franconi
1m 7s main
main
1m 7s
pages build and deployment pages-build-deployment #106: by franconi
37s main
main
37s
Fixes correctness of Appendix A (from issue #139) (#160) Echidna Auto-publish #411: Commit 5e0a7ea pushed by franconi
1m 8s main
main
1m 8s
pages build and deployment pages-build-deployment #105: by franconi
40s main
main
40s
Fixes correctness of Appendix A (from issue #139) Echidna Auto-publish #410: Pull request #160 synchronize by franconi
1m 3s franconi:main
franconi:main
1m 3s
Fixes correctness of Appendix A (from issue #139) Echidna Auto-publish #409: Pull request #160 synchronize by franconi
53s franconi:main
franconi:main
53s
Updating Appendix B (used to be C): Proofs for some results Echidna Auto-publish #408: Pull request #165 synchronize by franconi
52s proofs
proofs
52s
Updating Appendix B (used to be C): Proofs for some results Echidna Auto-publish #407: Pull request #165 synchronize by franconi
54s proofs
proofs
54s
Updating Appendix B (used to be C): Proofs for some results Echidna Auto-publish #406: Pull request #165 opened by doerthe
53s proofs
proofs
53s
Updating Appendix B (used to be C): Proofs for some results Add pull requests and issues to projects #140: Pull request #165 opened by doerthe
8s
8s