Skip to content

Actions: cvc5/tutorials

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
11 workflow runs
11 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #6 from daniel-larraz/ignore-files Build and Deploy #11: Commit 1e931dd pushed by daniel-larraz
September 18, 2024 14:08 24s main
main
September 18, 2024 14:08 24s
Remove and ignore compiled python files Build and Deploy #10: Pull request #6 opened by daniel-larraz
September 17, 2024 14:07 18s daniel-larraz:ignore-files
daniel-larraz:ignore-files
September 17, 2024 14:07 18s
Merge pull request #5 from daniel-larraz/check-changes Build and Deploy #9: Commit 0581b7b pushed by daniel-larraz
September 16, 2024 19:16 22s main
main
September 16, 2024 19:16 22s
ci: Only commit and push if there are changes Build and Deploy #8: Pull request #5 opened by daniel-larraz
September 16, 2024 18:54 23s daniel-larraz:check-changes
daniel-larraz:check-changes
September 16, 2024 18:54 23s
Merge pull request #4 from daniel-larraz/use-gh-token Build and Deploy #7: Commit 9e9cc6a pushed by daniel-larraz
September 16, 2024 16:57 20s main
main
September 16, 2024 16:57 20s
Use PAT correctly in GH workflow Build and Deploy #6: Pull request #4 opened by daniel-larraz
September 16, 2024 16:54 20s daniel-larraz:use-gh-token
daniel-larraz:use-gh-token
September 16, 2024 16:54 20s
More fixes Build and Deploy #5: Commit b23c885 pushed by daniel-larraz
September 16, 2024 16:43 24s ssh-add-test
ssh-add-test
September 16, 2024 16:43 24s
Fix workflow Build and Deploy #4: Commit 836e788 pushed by daniel-larraz
September 16, 2024 16:42 18s ssh-add-test
ssh-add-test
September 16, 2024 16:42 18s
Test code for GH token Build and Deploy #3: Commit ecba515 pushed by daniel-larraz
September 16, 2024 16:40 17s ssh-add-test
ssh-add-test
September 16, 2024 16:40 17s
Test ssh-add Build and Deploy #2: Commit 32ef206 pushed by daniel-larraz
September 16, 2024 16:00 20s ssh-add-test
ssh-add-test
September 16, 2024 16:00 20s
Merge pull request #3 from daniel-larraz/gh-workflow Build and Deploy #1: Commit f99d6db pushed by daniel-larraz
September 16, 2024 14:45 24s main
main
September 16, 2024 14:45 24s