Skip to content

Actions: w3c-cg/n3Builtins

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
22 workflow runs
22 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
pages build and deployment pages-build-deployment #61: by github-pages bot
42s gh-pages
gh-pages
42s
Merge pull request #20 from w3c-cg/pr/forAllIn-vacuously Echidna Auto-publish test 2 #87: Commit 4c7835a pushed by william-vw
1m 0s main
main
1m 0s
Adding extra example for vacuous truths Echidna Auto-publish test 2 #86: Pull request #20 synchronize by phochste
56s pr/forAllIn-vacuously
pr/forAllIn-vacuously
56s
pages build and deployment pages-build-deployment #60: by github-pages bot
40s gh-pages
gh-pages
40s
Merge pull request #19 from w3c-cg/pr/fix-make-web Echidna Auto-publish test 2 #85: Commit 8f3265d pushed by william-vw
1m 0s main
main
1m 0s
Adding extra example for vacuous truths Echidna Auto-publish test 2 #84: Pull request #20 opened by phochste
54s pr/forAllIn-vacuously
pr/forAllIn-vacuously
54s
Fixing make web Echidna Auto-publish test 2 #83: Pull request #19 opened by phochste
55s pr/fix-make-web
pr/fix-make-web
55s
pages build and deployment pages-build-deployment #59: by github-pages bot
42s gh-pages
gh-pages
42s
Merge pull request #17 from w3c-cg/pr/log-includes-typo Echidna Auto-publish test 2 #82: Commit 912f7e2 pushed by william-vw
1m 0s main
main
1m 0s
Fixing typo in definition of log:includes Echidna Auto-publish test 2 #81: Pull request #17 opened by phochste
54s pr/log-includes-typo
pr/log-includes-typo
54s
pages build and deployment pages-build-deployment #58: by github-pages bot
34s gh-pages
gh-pages
34s
Merge pull request #15 from phochste/pr/issue-13 Echidna Auto-publish test 2 #80: Commit bf156b6 pushed by william-vw
55s main
main
55s
Fixing #13 adding argument mode comments Echidna Auto-publish test 2 #79: Pull request #15 opened by phochste
58s phochste:pr/issue-13
phochste:pr/issue-13
58s
pages build and deployment pages-build-deployment #57: by github-pages bot
38s gh-pages
gh-pages
38s
Merge pull request #12 from phochste/pr/order-builtins Echidna Auto-publish test 2 #78: Commit 41c572d pushed by william-vw
1m 7s main
main
1m 7s
Adding missing hour built-in Echidna Auto-publish test 2 #77: Pull request #12 opened by phochste
46s phochste:pr/order-builtins
phochste:pr/order-builtins
46s
pages build and deployment pages-build-deployment #56: by github-pages bot
41s gh-pages
gh-pages
41s
Merge branch 'main' of github.com:w3c-cg/n3Builtins Echidna Auto-publish test 2 #76: Commit 4082417 pushed by phochste
1m 1s main
main
1m 1s
pages build and deployment pages-build-deployment #55: by github-pages bot
38s gh-pages
gh-pages
38s
Echidna Auto-publish test 2 Echidna Auto-publish test 2 #75: Manually run by phochste
1m 6s main
main
1m 6s
Echidna Auto-publish test 2 Echidna Auto-publish test 2 #74: Manually run by phochste
1d 0h 0m 2s main
main
1d 0h 0m 2s
fix https://github.com/w3c/N3/pull/221; 'make valid' log outputs now … Echidna Auto-publish test 2 #73: Commit a3081a7 pushed by william-vw
1d 0h 0m 2s main
main
1d 0h 0m 2s