Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Actions: jimwhite/acl2-jupyter

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
14 workflow runs
14 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #6 from jimwhite/copilot/fix-ghcr-build-push-permi… Build and Push Docker Image to GHCR #6: Commit 47b5ea6 pushed by jimwhite
24m 57s main
main
24m 57s
Running Copilot Copilot coding agent #8: by Copilot AI
1m 30s copilot/update-jupyter-notebook-configuration
copilot/update-jupyter-notebook-configuration
1m 30s
Running Copilot Copilot coding agent #7: by Copilot AI
4m 58s copilot/fix-ghcr-build-push-permissions
copilot/fix-ghcr-build-push-permissions
4m 58s
Build and Push Docker Image to GHCR Build and Push Docker Image to GHCR #5: Manually run by jimwhite
25m 24s main
main
25m 24s
Addressing comment on PR #5 Copilot coding agent #6: by Copilot AI
2m 24s copilot/build-multiplatform-docker-releases
copilot/build-multiplatform-docker-releases
2m 24s
Running Copilot Copilot coding agent #5: by Copilot AI
10m 24s copilot/build-multiplatform-docker-releases
copilot/build-multiplatform-docker-releases
10m 24s
Write make.log tail to stdout on ACL2 make failure Build and Push Docker Image to GHCR #4: Commit 2c10e7e pushed by jimwhite
2h 59m 16s main
main
2h 59m 16s
Merge pull request #4 from jimwhite/copilot/undo-build-changes-artifact Build and Push Docker Image to GHCR #3: Commit 7517609 pushed by jimwhite
17m 49s main
main
17m 49s
Running Copilot Copilot coding agent #4: by Copilot AI
10m 57s copilot/undo-build-changes-artifact
copilot/undo-build-changes-artifact
10m 57s
Merge pull request #3 from jimwhite/copilot/update-actions-workflow-a… Build and Push Docker Image to GHCR #2: Commit 8003e75 pushed by jimwhite
3h 5m 29s main
main
3h 5m 29s
Running Copilot Copilot coding agent #3: by Copilot AI
18m 20s copilot/update-actions-workflow-artifacts
copilot/update-actions-workflow-artifacts
18m 20s
Merge pull request #2 from jimwhite/copilot/add-github-action-build-d… Build and Push Docker Image to GHCR #1: Commit de50d72 pushed by jimwhite
3h 10m 6s main
main
3h 10m 6s
Running Copilot Copilot coding agent #2: by Copilot AI
10m 3s copilot/add-github-action-build-docker
copilot/add-github-action-build-docker
10m 3s
Create a GUIX build for ACL2 running SBCL. This Dockerfile is an up-to-date working build. Here is an older GUIX build that no longer works but can help as an example to get started: https://git.tojo.tokyo/tojo-tokyo-guix-channel.git/tree/tojo-tokyo/p... Copilot coding agent #1: by Copilot AI
17m 18s copilot/fix-9d3976f1-b626-4ca9-b46d-4ef3b78d05fc
copilot/fix-9d3976f1-b626-4ca9-b46d-4ef3b78d05fc
17m 18s