Skip to content

Actions: j-arndt/fedcloud

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
24 workflow runs
24 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
Trigger Pages rebuild after source switch to GitHub Actions FedCloud Verification Gateway CI #10: Commit 3646be3 pushed by j-arndt
25s main
main
25s
Trigger Pages rebuild after source switch to GitHub Actions Deploy Documentation to GitHub Pages #4: Commit 3646be3 pushed by j-arndt
16s main
main
16s
Replace ASCII architecture diagram with Mermaid FedCloud Verification Gateway CI #9: Commit 980c6a5 pushed by j-arndt
25s main
main
25s
Fix documentation: correct repo URLs and project references Deploy Documentation to GitHub Pages #3: Commit bffcc48 pushed by j-arndt
16s main
main
16s
Fix documentation: correct repo URLs and project references FedCloud Verification Gateway CI #8: Commit bffcc48 pushed by j-arndt
20s main
main
20s
pages build and deployment pages-build-deployment #10: by j-arndt
36s main
main
36s
Update documentation for hybrid dual-engine architecture Deploy Documentation to GitHub Pages #2: Commit bb75c65 pushed by j-arndt
20s main
main
20s
Update documentation for hybrid dual-engine architecture FedCloud Verification Gateway CI #7: Commit bb75c65 pushed by j-arndt
32s main
main
32s
pages build and deployment pages-build-deployment #9: by j-arndt
42s main
main
42s
Phase 2: Hybrid Verification Gateway with Bedrock agents FedCloud Verification Gateway CI #6: Commit 813e7f8 pushed by j-arndt
19s main
main
19s
pages build and deployment pages-build-deployment #8: by j-arndt
39s main
main
39s
Add lake-manifest.json for Lean 4 CI FedCloud Verification Gateway CI #5: Commit f63d441 pushed by j-arndt
27s main
main
27s
pages build and deployment pages-build-deployment #7: by j-arndt
43s main
main
43s
Replace Lean toolchain installation with lean-action FedCloud Verification Gateway CI #4: Commit 08e3069 pushed by j-arndt
22s main
main
22s
pages build and deployment pages-build-deployment #6: by j-arndt
39s main
main
39s
Consolidate elan installation and Lean setup steps FedCloud Verification Gateway CI #3: Commit c90512c pushed by j-arndt
16s main
main
16s
pages build and deployment pages-build-deployment #5: by j-arndt
43s main
main
43s
Modify CI workflow for Lean 4 syntax check FedCloud Verification Gateway CI #2: Commit 4205c56 pushed by j-arndt
10s main
main
10s
pages build and deployment pages-build-deployment #4: by j-arndt
36s main
main
36s
Add CI workflow for Python and Lean 4 tests FedCloud Verification Gateway CI #1: Commit 7cffcfc pushed by j-arndt
9s main
main
9s
pages build and deployment pages-build-deployment #3: by j-arndt
44s main
main
44s
pages build and deployment pages-build-deployment #2: by j-arndt
41s main
main
41s
pages build and deployment pages-build-deployment #1: by j-arndt
37s main
main
37s
Add GitHub Actions workflow for documentation deployment Deploy Documentation to GitHub Pages #1: Commit 16379bb pushed by j-arndt
23s main
main
23s