Skip to content

Actions: ucan-wg/go-ucan

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
810 workflow runs
810 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

PR #93 CodeQL #55: by MichaelMure
December 10, 2024 11:20 1m 35s refs/pull/93/head
refs/pull/93/head
December 10, 2024 11:20 1m 35s
delegation,invocation: proper String() function Go Test #564: Commit 5660df3 pushed by MichaelMure
December 10, 2024 11:20 29s proof-rephrase
proof-rephrase
December 10, 2024 11:20 29s
invocation: rephrase slightly the proof rules to be less confusing down the line Go Test #563: Pull request #93 synchronize by MichaelMure
December 9, 2024 19:41 23s proof-rephrase
proof-rephrase
December 9, 2024 19:41 23s
PR #93 CodeQL #54: by MichaelMure
December 9, 2024 19:41 1m 47s refs/pull/93/head
refs/pull/93/head
December 9, 2024 19:41 1m 47s
(WIP) refine the token constructors: Go Test #562: Commit 0592717 pushed by MichaelMure
December 9, 2024 19:41 25s proof-rephrase
proof-rephrase
December 9, 2024 19:41 25s
invocation: rephrase slightly the proof rules to be less confusing down the line Go Test #561: Pull request #93 synchronize by MichaelMure
December 9, 2024 17:53 25s proof-rephrase
proof-rephrase
December 9, 2024 17:53 25s
PR #93 CodeQL #53: by MichaelMure
December 9, 2024 17:53 1m 42s refs/pull/93/head
refs/pull/93/head
December 9, 2024 17:53 1m 42s
invocation: rephrase slightly the proof rules to be less confusing do… Go Test #560: Commit 80c2d60 pushed by MichaelMure
December 9, 2024 17:53 25s proof-rephrase
proof-rephrase
December 9, 2024 17:53 25s
invocation: rephrase slightly the proof rules to be less confusing down the line Go Test #559: Pull request #93 opened by MichaelMure
December 9, 2024 17:36 27s proof-rephrase
proof-rephrase
December 9, 2024 17:36 27s
PR #93 CodeQL #52: by MichaelMure
December 9, 2024 17:36 3m 52s refs/pull/93/head
refs/pull/93/head
December 9, 2024 17:36 3m 52s
invocation: rephrase slightly the proof rules to be less confusing do… Go Test #558: Commit 32b6444 pushed by MichaelMure
December 9, 2024 17:36 30s proof-rephrase
proof-rephrase
December 9, 2024 17:36 30s
Scheduled CodeQL #51: by github-advanced-security bot
December 9, 2024 08:33 1m 30s main
main
December 9, 2024 08:33 1m 30s
pages build and deployment pages-build-deployment #56: by github-pages bot
December 5, 2024 14:37 44s gh-pages
gh-pages
December 5, 2024 14:37 44s
Merge pull request #92 from ucan-wg/generator-cleanup go continuous benchmark #55: Commit c518c66 pushed by MichaelMure
December 5, 2024 14:36 1m 0s main
main
December 5, 2024 14:36 1m 0s
Merge pull request #92 from ucan-wg/generator-cleanup Go Test #557: Commit c518c66 pushed by MichaelMure
December 5, 2024 14:36 28s main
main
December 5, 2024 14:36 28s
Push on main CodeQL #50: by MichaelMure
December 5, 2024 14:36 1m 27s main
main
December 5, 2024 14:36 1m 27s
delegationtest: run go fmt, less noisy code Go Test #556: Pull request #92 opened by MichaelMure
December 5, 2024 14:31 36s generator-cleanup
generator-cleanup
December 5, 2024 14:31 36s
PR #92 CodeQL #49: by MichaelMure
December 5, 2024 14:31 3m 44s refs/pull/92/head
refs/pull/92/head
December 5, 2024 14:31 3m 44s
delegationtest: run go fmt, less noisy code Go Test #555: Commit 78825f4 pushed by MichaelMure
December 5, 2024 14:30 29s generator-cleanup
generator-cleanup
December 5, 2024 14:30 29s
pages build and deployment pages-build-deployment #55: by github-pages bot
December 4, 2024 19:10 37s gh-pages
gh-pages
December 4, 2024 19:10 37s
Merge pull request #91 from ucan-wg/fix-everything Go Test #554: Commit 7f1adbd pushed by MichaelMure
December 4, 2024 19:09 31s main
main
December 4, 2024 19:09 31s
Merge pull request #91 from ucan-wg/fix-everything go continuous benchmark #54: Commit 7f1adbd pushed by MichaelMure
December 4, 2024 19:09 1m 13s main
main
December 4, 2024 19:09 1m 13s
Push on main CodeQL #48: by MichaelMure
December 4, 2024 19:09 1m 39s main
main
December 4, 2024 19:09 1m 39s
Fix everything Go Test #553: Pull request #91 opened by MichaelMure
December 4, 2024 18:58 1m 48s fix-everything
fix-everything
December 4, 2024 18:58 1m 48s
PR #91 CodeQL #47: by MichaelMure
December 4, 2024 18:56 6m 39s refs/pull/91/head
refs/pull/91/head
December 4, 2024 18:56 6m 39s