Skip to content

Actions: Element0Lang/element-0

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
150 workflow runs
150 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
Upgrade Zig version to 0.16.0 Run Tests #49: Pull request #11 synchronize by habedi
2m 52s develop
develop
2m 52s
Fix a few bugs Run Tests #48: Commit f59cdf1 pushed by habedi
3m 37s develop
develop
3m 37s
Upgrade Zig version to 0.16.0 Run Tests #47: Pull request #11 synchronize by habedi
3m 48s develop
develop
3m 48s
WIP Run Tests #46: Commit 802d10b pushed by habedi
3m 59s develop
develop
3m 59s
Upgrade Zig version to 0.16.0 Run Tests #45: Pull request #11 opened by habedi
3m 39s develop
develop
3m 39s
WIP Run Tests #44: Commit 4bc3729 pushed by habedi
3m 33s develop
develop
3m 33s
WIP Run Tests #43: Commit 89d909d pushed by habedi
2m 30s develop
develop
2m 30s
WIP Run Tests #42: Commit 3dc43db pushed by habedi
2m 53s develop
develop
2m 53s
WIP Run Tests #41: Commit b80c3ac pushed by habedi
2m 51s develop
develop
2m 51s
WIP Run Tests #40: Commit 5da719e pushed by habedi
2m 57s develop
develop
2m 57s
WIP Run Tests #39: Commit 94cda04 pushed by habedi
2m 32s develop
develop
2m 32s
Improve R5RS-compatibility Run Tests #38: Commit b310915 pushed by habedi
2m 58s develop
develop
2m 58s
WIP Run Tests #37: Commit 2f9a640 pushed by habedi
2m 57s develop
develop
2m 57s
WIP Run Tests #36: Commit 775ea9e pushed by habedi
1m 1s develop
develop
1m 1s
WIP Run Tests #35: Commit 82e44c4 pushed by habedi
34s develop
develop
34s
pages build and deployment pages-build-deployment #4: by github-pages Bot
26s gh-pages
gh-pages
26s
Add an AGENTS.md file (#10) Run Linter Checks #34: Commit 6af8a7c pushed by habedi
40s main
main
40s
Add an AGENTS.md file (#10) Publish API Documentation #8: Commit 6af8a7c pushed by habedi
48s main
main
48s
Add an AGENTS.md file (#10) Run Tests #34: Commit 6af8a7c pushed by habedi
45s main
main
45s
Add an AGENTS.md file Run Tests #33: Pull request #10 opened by habedi
53s develop
develop
53s
Add an AGENTS.md file Run Linter Checks #33: Pull request #10 opened by habedi
38s develop
develop
38s
pages build and deployment pages-build-deployment #3: by github-pages Bot
28s gh-pages
gh-pages
28s
Pin Linenoise to 2.0 and BWDGC to v8.2.12 (#9) Run Tests #32: Commit e30c00a pushed by habedi
45s main
main
45s
Pin Linenoise to 2.0 and BWDGC to v8.2.12 (#9) Run Linter Checks #32: Commit e30c00a pushed by habedi
39s main
main
39s
Pin Linenoise to 2.0 and BWDGC to v8.2.12 (#9) Publish API Documentation #7: Commit e30c00a pushed by habedi
48s main
main
48s