Skip to content

Actions: Beneficial-AI-Foundation/eth_certify

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
118 workflow runs
118 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
Anchor Manifest Anchor Manifest #6: Manually run by avrevic
35s main
main
35s
Anchor Manifest Anchor Manifest #5: Manually run by avrevic
47s main
main
47s
Anchor Manifest Anchor Manifest #4: Manually run by astefano
1m 1s main
main
1m 1s
Anchor Manifest Anchor Manifest #3: Manually run by astefano
34s main
main
34s
fix: fall back to to_be_verified for total_functions in manifest parsing CI #55: Commit 8043471 pushed by astefano
33s main
main
33s
Anchor Manifest Anchor Manifest #2: Manually run by avrevic
52s main
main
52s
Anchor Manifest Anchor Manifest #1: Manually run by astefano
40s main
main
40s
feat: add anchor-manifest workflow and fix pre-existing mypy errors CI #54: Commit 34a3a9f pushed by astefano
28s main
main
28s
Certify Aeneas Project Certify Aeneas Project #4: Manually run by astefano
25m 27s main
main
25m 27s
docs(kb): update knowledge base for Lean/Aeneas support CI #53: Commit 5d8f026 pushed by astefano
31s main
main
31s
fix: replace sorry_count with unverified_count in Lean metrics CI #52: Commit f78d56f pushed by astefano
32s main
main
32s
Certify Aeneas Project Certify Aeneas Project #3: Manually run by astefano
24m 58s main
main
24m 58s
fix: remove lean --version from elan verify step CI #51: Commit 214abed pushed by astefano
28s main
main
28s
Certify Aeneas Project Certify Aeneas Project #2: Manually run by astefano
36s main
main
36s
Certify Aeneas Project Certify Aeneas Project #1: Manually run by astefano
47s main
main
47s
feat: add Lean/Aeneas certification workflows and fix verify bugs CI #50: Commit ecee27b pushed by astefano
31s main
main
31s
Merge branch 'main' of https://github.com/Beneficial-AI-Foundation/et… CI #49: Commit 6af819c pushed by astefano
31s main
main
31s
Certify External Project (v2) Certify External Project (v2) #9: Manually run by astefano
32m 25s main
main
32m 25s
chore: remove legacy workflows from git, keep as local backups CI #48: Commit 4d1fddb pushed by astefano
26s main
main
26s
Certify External Project (v2) Certify External Project (v2) #8: Manually run by astefano
4m 40s main
main
4m 40s
fix: fall back to specs.json for taxonomy when extract-file is missing CI #47: Commit c987d3a pushed by astefano
29s main
main
29s
Certify External Project (v2) Certify External Project (v2) #7: Manually run by astefano
40s main
main
40s
Certify External Project (v2) Certify External Project (v2) #6: Manually run by astefano
2m 53s main
main
2m 53s
Certify External Project (v2) Certify External Project (v2) #5: Manually run by astefano
4m 59s main
main
4m 59s
Certify External Project (v2) Certify External Project (v2) #4: Manually run by astefano
36s main
main
36s