Skip to content

Actions: HMarcusWH/PermanssonLean

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
276 workflow runs
276 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
Merge pull request #33 from HMarcusWH/docs/readme-first-onboarding Executable verification #26: Commit 0604fb2 pushed by HMarcusWH
16s main
main
16s
Merge pull request #33 from HMarcusWH/docs/readme-first-onboarding Lean #243: Commit 0604fb2 pushed by HMarcusWH
3m 15s main
main
3m 15s
Merge pull request #33 from HMarcusWH/docs/readme-first-onboarding Application contract #7: Commit 0604fb2 pushed by HMarcusWH
35s main
main
35s
docs: improve README-first onboarding and reference navigation Application contract #6: Pull request #33 opened by HMarcusWH
52s docs/readme-first-onboarding
docs/readme-first-onboarding
52s
docs: improve README-first onboarding and reference navigation Executable verification #25: Pull request #33 opened by HMarcusWH
21s docs/readme-first-onboarding
docs/readme-first-onboarding
21s
docs: improve README-first onboarding and reference navigation Lean #242: Pull request #33 opened by HMarcusWH
3m 10s docs/readme-first-onboarding
docs/readme-first-onboarding
3m 10s
Merge pull request #32 from HMarcusWH/feat/application-standard-v010 Executable verification #24: Commit 7cbf849 pushed by HMarcusWH
16s main
main
16s
Merge pull request #32 from HMarcusWH/feat/application-standard-v010 Application contract #5: Commit 7cbf849 pushed by HMarcusWH
36s main
main
36s
Merge pull request #32 from HMarcusWH/feat/application-standard-v010 Lean #241: Commit 7cbf849 pushed by HMarcusWH
3m 4s main
main
3m 4s
feat: add Permansson Application Standard, offline validator and CI Lean #240: Pull request #32 synchronize by HMarcusWH
3m 18s feat/application-standard-v010
feat/application-standard-v010
3m 18s
feat: add Permansson Application Standard, offline validator and CI Application contract #4: Pull request #32 synchronize by HMarcusWH
56s feat/application-standard-v010
feat/application-standard-v010
56s
feat: add Permansson Application Standard, offline validator and CI Executable verification #23: Pull request #32 synchronize by HMarcusWH
15s feat/application-standard-v010
feat/application-standard-v010
15s
feat: add Permansson Application Standard, offline validator and CI Lean #239: Pull request #32 synchronize by HMarcusWH
2m 56s feat/application-standard-v010
feat/application-standard-v010
2m 56s
feat: add Permansson Application Standard, offline validator and CI Executable verification #22: Pull request #32 synchronize by HMarcusWH
17s feat/application-standard-v010
feat/application-standard-v010
17s
feat: add Permansson Application Standard, offline validator and CI Application contract #3: Pull request #32 synchronize by HMarcusWH
45s feat/application-standard-v010
feat/application-standard-v010
45s
feat: add Permansson Application Standard, offline validator and CI Application contract #2: Pull request #32 synchronize by HMarcusWH
23s feat/application-standard-v010
feat/application-standard-v010
23s
feat: add Permansson Application Standard, offline validator and CI Executable verification #21: Pull request #32 synchronize by HMarcusWH
16s feat/application-standard-v010
feat/application-standard-v010
16s
feat: add Permansson Application Standard, offline validator and CI Lean #238: Pull request #32 synchronize by HMarcusWH
2m 59s feat/application-standard-v010
feat/application-standard-v010
2m 59s
feat: add Permansson Application Standard, offline validator and CI Application contract #1: Pull request #32 opened by HMarcusWH
28s feat/application-standard-v010
feat/application-standard-v010
28s
feat: add Permansson Application Standard, offline validator and CI Executable verification #20: Pull request #32 opened by HMarcusWH
20s feat/application-standard-v010
feat/application-standard-v010
20s
feat: add Permansson Application Standard, offline validator and CI Lean #237: Pull request #32 opened by HMarcusWH
5m 8s feat/application-standard-v010
feat/application-standard-v010
5m 8s
Merge pull request #31 from HMarcusWH/docs/paper-support-sync Executable verification #19: Commit 395fb92 pushed by HMarcusWH
17s main
main
17s
Merge pull request #31 from HMarcusWH/docs/paper-support-sync Lean #236: Commit 395fb92 pushed by HMarcusWH
3m 25s main
main
3m 25s
Docs: synchronize paper and supporting-theory stack Executable verification #18: Pull request #31 synchronize by HMarcusWH
18s docs/paper-support-sync
docs/paper-support-sync
18s
Docs: synchronize paper and supporting-theory stack Lean #235: Pull request #31 synchronize by HMarcusWH
3m 7s docs/paper-support-sync
docs/paper-support-sync
3m 7s