Skip to content

Actions: dekaruntime/dsc

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
224 workflow runs
224 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
Push on main CodeQL #92: by samifouad
51s main
main
51s
Merge pull request #114 from dekaruntime/issue-103-release-0.8.2 Release #20: Commit efec7df pushed by samifouad
5m 43s v0.8.2
v0.8.2
5m 43s
Push on main CodeQL #91: by samifouad
45s main
main
45s
dsc#103: release 0.8.2 with bare unsafe Err typing CI #111: Pull request #114 opened by samifouad
3m 32s issue-103-release-0.8.2
issue-103-release-0.8.2
3m 32s
PR #114 CodeQL #90: by samifouad
48s refs/pull/114/head
refs/pull/114/head
48s
Pass the git commit into the wasm build so it stops reporting unknown CI #110: Pull request #113 opened by samifouad
2m 53s fix/wasm-source-commit
fix/wasm-source-commit
2m 53s
PR #113 CodeQL #89: by samifouad
52s refs/pull/113/head
refs/pull/113/head
52s
Push on main CodeQL #88: by samifouad
53s main
main
53s
dsc#84: consume the authoritative testsuite corpus CI #109: Pull request #110 opened by samifouad
3m 9s issue-84-testsuite-corpus
issue-84-testsuite-corpus
3m 9s
PR #110 CodeQL #87: by samifouad
50s refs/pull/110/head
refs/pull/110/head
50s
Push on main CodeQL #86: by samifouad
45s main
main
45s
dsc#103: pin bare-unsafe Err typing with a checker-level test CI #108: Pull request #109 opened by samifouad
3m 17s fix/bare-unsafe-err-check-pin-103
fix/bare-unsafe-err-check-pin-103
3m 17s
PR #109 CodeQL #85: by samifouad
48s refs/pull/109/head
refs/pull/109/head
48s
Push on main CodeQL #84: by samifouad
46s main
main
46s
Type bare unsafe Err as string, not Infer CI #107: Pull request #108 opened by samifouad
2m 55s fix/bare-unsafe-err-types-string-103
fix/bare-unsafe-err-types-string-103
2m 55s
PR #108 CodeQL #83: by samifouad
47s refs/pull/108/head
refs/pull/108/head
47s
Merge pull request #107 from dekaruntime/release/0.8.1 Release #19: Commit 960c5ed pushed by samifouad
7m 22s v0.8.1
v0.8.1
7m 22s
Push on main CodeQL #82: by samifouad
51s main
main
51s
release: dsc 0.8.1 CI #106: Pull request #107 opened by samifouad
3m 16s release/0.8.1
release/0.8.1
3m 16s
PR #107 CodeQL #81: by samifouad
1m 21s refs/pull/107/head
refs/pull/107/head
1m 21s
Push on main CodeQL #80: by samifouad
48s main
main
48s
dsc#92: give bytes a member catalog starting at .length CI #105: Pull request #106 opened by samifouad
3m 7s fix/bytes-member-catalog-92
fix/bytes-member-catalog-92
3m 7s
PR #106 CodeQL #79: by samifouad
44s refs/pull/106/head
refs/pull/106/head
44s
Push on main CodeQL #78: by samifouad
48s main
main
48s
dsc#101: receiver methods bind type parameters on the generic receiver CI #104: Pull request #105 opened by samifouad
2m 59s fix/generic-receiver-methods-101
fix/generic-receiver-methods-101
2m 59s