Skip to content

Actions: cslib-community/CSwL

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
37 workflow runs
37 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
Running Copilot Code Review Copilot #4: by Copilot AI
3m 57s feat/english-chapter
feat/english-chapter
3m 57s
feat(English): write the chapter from CSwFP/6.1, 4.2, 6.2 and 6.3–6.4 Lean Action CI #15: Pull request #29 opened by arademaker
11m 21s feat/english-chapter
feat/english-chapter
11m 21s
fix(PL, Phonemes): make the generated student project compile GitHub Pages #18: Commit 88f09f2 pushed by arademaker
3m 24s main
main
3m 24s
Complete Rewrite of Logic (#26) GitHub Pages #17: Commit ee3bd94 pushed by arademaker
15m 11s main
main
15m 11s
Fol semantics model Lean Action CI #14: Pull request #26 synchronize by arademaker
2m 14s fol-semantics-model
fol-semantics-model
2m 14s
Fol semantics model Lean Action CI #13: Pull request #26 synchronize by arademaker
2m 22s fol-semantics-model
fol-semantics-model
2m 22s
Fol semantics model Lean Action CI #12: Pull request #26 synchronize by arademaker
1m 52s fol-semantics-model
fol-semantics-model
1m 52s
Fol semantics model Lean Action CI #11: Pull request #26 synchronize by arademaker
1m 46s fol-semantics-model
fol-semantics-model
1m 46s
Fol semantics model Lean Action CI #10: Pull request #26 synchronize by arademaker
1m 45s fol-semantics-model
fol-semantics-model
1m 45s
Running Copilot Code Review Copilot #3: by Copilot AI
4m 22s fol-semantics-model
fol-semantics-model
4m 22s
Fol semantics model Lean Action CI #9: Pull request #26 opened by arademaker
13m 1s fol-semantics-model
fol-semantics-model
13m 1s
refactor(PL): closes #2 GitHub Pages #16: Commit 8c751af pushed by arademaker
3m 28s main
main
3m 28s
docs(IntroL): merge the two treatments of ∘ GitHub Pages #15: Commit 621e92b pushed by arademaker
3m 4s main
main
3m 4s
refactor(logic, IntroL): slim the chapters, restructure the material GitHub Pages #14: Commit 1e30bec pushed by arademaker
4m 1s main
main
4m 1s
refactor(book): restructure chapters, extract Proof.lean, and fix the generated project Lean Action CI #8: Pull request #23 synchronize by arademaker
2m 3s restructure/logic-and-chapter-order
restructure/logic-and-chapter-order
2m 3s
refactor(book): restructure chapters, extract Proof.lean, and fix the generated project Lean Action CI #7: Pull request #23 synchronize by arademaker
2m 4s restructure/logic-and-chapter-order
restructure/logic-and-chapter-order
2m 4s
Running Copilot Code Review Copilot #2: by Copilot AI
18m 21s restructure/logic-and-chapter-order
restructure/logic-and-chapter-order
18m 21s
refactor(book): restructure chapters, extract Proof.lean, and fix the generated project Lean Action CI #6: Pull request #23 opened by arademaker
14m 51s restructure/logic-and-chapter-order
restructure/logic-and-chapter-order
14m 51s
fix: fixes proposed by Co-Pilot GitHub Pages #13: Commit f617af1 pushed by arademaker
15m 46s main
main
15m 46s
docs: style guides, contributor guide, and a student README Lean Action CI #5: Pull request #21 synchronize by arademaker
2m 37s aula
aula
2m 37s
docs: style guides, contributor guide, and a student README Lean Action CI #4: Pull request #21 synchronize by arademaker
2m 12s aula
aula
2m 12s
docs: style guides, contributor guide, and a student README Lean Action CI #3: Pull request #21 synchronize by arademaker
1m 46s aula
aula
1m 46s
Running Copilot Code Review Copilot #1: by Copilot AI
4m 32s aula
aula
4m 32s
docs: style guides, contributor guide, and a student README Lean Action CI #2: Pull request #21 opened by arademaker
13m 4s aula
aula
13m 4s
feat(logic): revise PL and FOL GitHub Pages #12: Commit f1ce6ca pushed by arademaker
3m 34s main
main
3m 34s