Skip to content

Actions: meelgroup/FPTaylor

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
23 workflow runs
23 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
Simplify README instructions for DMTCP usage CI #19: Commit 771a143 pushed by uddaloksarkar
14s formal
formal
14s
updating readme CI #18: Commit 1c4526e pushed by uddaloksarkar
12s formal
formal
12s
Add lgamma HOL proof plumbing CI #17: Commit 88350c4 pushed by uddaloksarkar
15s formal
formal
15s
Port lgamma support (606a041) onto FPTaylor v0.9.3 CI #16: Commit a54a8fd pushed by uddaloksarkar
13s formal
formal
13s
Merge pull request #2 from meelgroup/copilot/fix-linux-job-failure-again CI #15: Commit 9def295 pushed by uddaloksarkar
5m 40s develop
develop
5m 40s
updates for macos CI #14: Commit 758c2d5 pushed by uddaloksarkar
1m 6s develop
develop
1m 6s
updates for macos CI #13: Commit 0d81f86 pushed by uddaloksarkar
5m 51s develop
develop
5m 51s
Merge pull request #2 from meelgroup/copilot/fix-linux-job-failure-again CI #12: Commit 9def295 pushed by uddaloksarkar
10m 9s develop
develop
10m 9s
Apply remaining changes CI #11: Commit 893ddf2 pushed by Copilot AI
8m 35s copilot/fix-linux-job-failure-again
copilot/fix-linux-job-failure-again
8m 35s
Running Copilot cloud agent Copilot cloud agent #4: by Copilot AI
2m 9s copilot/fix-linux-job-failure-again
copilot/fix-linux-job-failure-again
2m 9s
Fix macOS regression parser compatibility CI #10: Commit 4fded52 pushed by Copilot AI
5m 15s copilot/fix-linux-job-failure
copilot/fix-linux-job-failure
5m 15s
Addressing comment on PR #1 Copilot cloud agent #3: by Copilot AI
4m 41s copilot/fix-linux-job-failure
copilot/fix-linux-job-failure
4m 41s
Handle missing absolute-error fields in regression parser CI #9: Commit 508a054 pushed by Copilot AI
5m 28s copilot/fix-linux-job-failure
copilot/fix-linux-job-failure
5m 28s
Addressing comment on PR #1 Copilot cloud agent #2: by Copilot AI
3m 59s copilot/fix-linux-job-failure
copilot/fix-linux-job-failure
3m 59s
CI: upgrade setup-ocaml action to v3 CI #8: Commit 9ff81a7 pushed by Copilot AI
8m 15s copilot/fix-linux-job-failure
copilot/fix-linux-job-failure
8m 15s
Running Copilot cloud agent Copilot cloud agent #1: by Copilot AI
2m 50s copilot/fix-linux-job-failure
copilot/fix-linux-job-failure
2m 50s
introducing lgamma rule in FPTaylor CI #7: Commit 606a041 pushed by uddaloksarkar
5m 33s develop
develop
5m 33s
Merge branch 'develop' of github.com:meelgroup/FPTaylor into develop CI #6: Commit 436bce0 pushed by uddaloksarkar
9m 16s develop
develop
9m 16s
CI: macos gelpia addon CI #5: Commit c62b260 pushed by uddaloksarkar
8m 55s develop
develop
8m 55s
workflow updated CI #4: Commit 625df0a pushed by uddaloksarkar
9m 11s develop
develop
9m 11s
workflow updated CI #3: Commit 57749f4 pushed by uddaloksarkar
5m 54s develop
develop
5m 54s
trigger CI CI #2: Commit 93eddd2 pushed by uddaloksarkar
6m 50s develop
develop
6m 50s
trigger CI CI #1: Commit 0b09673 pushed by uddaloksarkar
8m 6s develop
develop
8m 6s