Skip to content

Actions: joangq/pyquent

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
15 workflow runs
15 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update workflow for new tests
Run Unit Tests #15: Commit 351a19d pushed by joangq
April 29, 2024 02:03 24s main
April 29, 2024 02:03 24s
Update grammar tests for the new format
Run Unit Tests #14: Commit 7d52631 pushed by joangq
April 29, 2024 02:02 27s main
April 29, 2024 02:02 27s
Update natural_deduction usage
Run Unit Tests #13: Commit 7720751 pushed by joangq
April 29, 2024 01:40 24s main
April 29, 2024 01:40 24s
Add demo (webapp)
Run Unit Tests #12: Commit 4f78823 pushed by joangq
April 29, 2024 01:38 25s main
April 29, 2024 01:38 25s
pyquent 2.0 (package+webapp+grammar)
Run Unit Tests #11: Commit e825089 pushed by joangq
April 29, 2024 00:12 27s main
April 29, 2024 00:12 27s
Agrego demo
Run Unit Tests #10: Commit 6cc18ae pushed by joangq
April 26, 2024 00:54 32s main
April 26, 2024 00:54 32s
Agrego LSP (server+client)
Run Unit Tests #9: Commit fed1518 pushed by joangq
April 26, 2024 00:46 29s main
April 26, 2024 00:46 29s
Update gitignore
Run Unit Tests #8: Commit ef6a4d2 pushed by joangq
April 25, 2024 22:52 23s main
April 25, 2024 22:52 23s
Ignore .vscode
Run Unit Tests #7: Commit a93a964 pushed by joangq
April 25, 2024 22:50 35s main
April 25, 2024 22:50 35s
Multiples secuentes como antecedente
Run Unit Tests #6: Commit 810da09 pushed by joangq
April 25, 2024 22:47 24s main
April 25, 2024 22:47 24s
Add fontsizes
Run Unit Tests #5: Commit e9ff2bb pushed by joangq
April 20, 2024 23:52 26s main
April 20, 2024 23:52 26s
Modify the tests to match the new \displaystyle
Run Unit Tests #4: Commit 678a9f8 pushed by joangq
April 20, 2024 23:24 24s main
April 20, 2024 23:24 24s
Force \displaystyle in every \frac
Run Unit Tests #3: Commit 877326f pushed by joangq
April 20, 2024 23:08 22s main
April 20, 2024 23:08 22s
Add natural deduction example
Run Unit Tests #2: Commit 062a44e pushed by joangq
April 20, 2024 22:59 28s main
April 20, 2024 22:59 28s
Add testing CI
Run Unit Tests #1: Commit 106e5b2 pushed by joangq
April 20, 2024 22:42 26s main
April 20, 2024 22:42 26s