Skip to content

Actions: Arthur742Ramos/Isabelle-VSCode

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
572 workflow runs
572 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
Tier-2 smoke Tier-2 smoke #22: Scheduled
48m 6s main
main
48m 6s
Tier-2 smoke Tier-2 smoke #21: Scheduled
48m 48s main
main
48m 48s
Tier-2 smoke Tier-2 smoke #20: Scheduled
50m 16s main
main
50m 16s
Tier-2 smoke Tier-2 smoke #19: Scheduled
47m 57s main
main
47m 57s
Tier-2 smoke Tier-2 smoke #18: Scheduled
48m 7s main
main
48m 7s
Tier-2 smoke Tier-2 smoke #17: Scheduled
32m 22s main
main
32m 22s
Tier-2 smoke Tier-2 smoke #16: Scheduled
3m 43s main
main
3m 43s
Tier-2 smoke Tier-2 smoke #15: Scheduled
3m 47s main
main
3m 47s
Tier-2 smoke Tier-2 smoke #14: Scheduled
4m 2s main
main
4m 2s
Tier-2 smoke Tier-2 smoke #13: Scheduled
4m 49s main
main
4m 49s
Merge pull request #171 from Arthur742Ramos/arthur742ramos/vocab-hol-… CI #360: Commit 6ae2ae8 pushed by Arthur742Ramos
1m 20s main
main
1m 20s
Running Copilot Code Review Copilot #66: by Copilot AI
3m 43s arthur742ramos/vocab-hol-inductive-cases
arthur742ramos/vocab-hol-inductive-cases
3m 43s
feat(semantic): recognise partial_function, inductive_cases/simps, specification CI #359: Pull request #171 opened by Arthur742Ramos
1m 17s arthur742ramos/vocab-hol-inductive-cases
arthur742ramos/vocab-hol-inductive-cases
1m 17s
Merge pull request #170 from Arthur742Ramos/arthur742ramos/grammar-do… CI #358: Commit e653ce4 pushed by Arthur742Ramos
1m 27s main
main
1m 27s
Running Copilot Code Review Copilot #65: by Copilot AI
3m 26s arthur742ramos/grammar-document-text
arthur742ramos/grammar-document-text
3m 26s
feat(semantic): scope document-text cartouche bodies as documentation CI #357: Pull request #170 opened by Arthur742Ramos
1m 22s arthur742ramos/grammar-document-text
arthur742ramos/grammar-document-text
1m 22s
Merge pull request #169 from Arthur742Ramos/arthur742ramos/vocab-hol-… CI #356: Commit bd7b728 pushed by Arthur742Ramos
1m 26s main
main
1m 26s
Running Copilot Code Review Copilot #64: by Copilot AI
2m 39s arthur742ramos/vocab-hol-diagnostics
arthur742ramos/vocab-hol-diagnostics
2m 39s
feat(semantic): recognise HOL diagnostic and tool-config commands CI #355: Pull request #169 opened by Arthur742Ramos
1m 20s arthur742ramos/vocab-hol-diagnostics
arthur742ramos/vocab-hol-diagnostics
1m 20s
Merge pull request #168 from Arthur742Ramos/arthur742ramos/vocab-hol-… CI #354: Commit 0281c9e pushed by Arthur742Ramos
1m 12s main
main
1m 12s
Running Copilot Code Review Copilot #63: by Copilot AI
4m 7s arthur742ramos/vocab-hol-specifications
arthur742ramos/vocab-hol-specifications
4m 7s
feat(semantic): recognise common HOL specification commands CI #353: Pull request #168 opened by Arthur742Ramos
1m 19s arthur742ramos/vocab-hol-specifications
arthur742ramos/vocab-hol-specifications
1m 19s
Merge pull request #167 from Arthur742Ramos/arthur742ramos/vocab-proo… CI #352: Commit c64d751 pushed by Arthur742Ramos
1m 23s main
main
1m 23s
Running Copilot Code Review Copilot #62: by Copilot AI
3m 20s arthur742ramos/vocab-proof-ml-commands
arthur742ramos/vocab-proof-ml-commands
3m 20s
feat(semantic): recognise the Pure proof-script and ML-command vocabulary CI #351: Pull request #167 opened by Arthur742Ramos
1m 13s arthur742ramos/vocab-proof-ml-commands
arthur742ramos/vocab-proof-ml-commands
1m 13s