Skip to content

Actions: ktexml/ktex-spec

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
43 workflow runs
43 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment pages-build-deployment #10: by github-pages bot
December 30, 2023 11:22 33s
December 30, 2023 11:22 33s
Merge pull request #7 from ktexml/lex-rules-2023-12-30 CI #33: Commit 8b7215f pushed by dimakura
December 30, 2023 11:21 28s master
master
December 30, 2023 11:21 28s
Fix isOperator conditions; Boolean and Null values CI #32: Pull request #7 synchronize by dimakura
December 30, 2023 11:21 18s lex-rules-2023-12-30
lex-rules-2023-12-30
December 30, 2023 11:21 18s
Fix isOperator conditions; Boolean and Null values CI #31: Pull request #7 opened by dimakura
December 30, 2023 11:18 16s lex-rules-2023-12-30
lex-rules-2023-12-30
December 30, 2023 11:18 16s
pages build and deployment pages-build-deployment #9: by github-pages bot
December 27, 2023 17:49 29s
December 27, 2023 17:49 29s
Merge pull request #6 from ktexml/lex-rules-2023-12-27 CI #30: Commit e560a8d pushed by dimakura
December 27, 2023 17:49 35s master
master
December 27, 2023 17:49 35s
More updates to lexical rules CI #29: Pull request #6 opened by dimakura
December 27, 2023 17:48 20s lex-rules-2023-12-27
lex-rules-2023-12-27
December 27, 2023 17:48 20s
pages build and deployment pages-build-deployment #8: by github-pages bot
December 27, 2023 17:18 31s
December 27, 2023 17:18 31s
Merge pull request #5 from ktexml/improve-lexer-rules CI #28: Commit cd2faa5 pushed by dimakura
December 27, 2023 17:17 32s master
master
December 27, 2023 17:17 32s
Improve lexical rules CI #27: Pull request #5 synchronize by dimakura
December 27, 2023 17:16 49s improve-lexer-rules
improve-lexer-rules
December 27, 2023 17:16 49s
Improve lexical rules CI #26: Pull request #5 synchronize by dimakura
December 27, 2023 17:15 21s improve-lexer-rules
improve-lexer-rules
December 27, 2023 17:15 21s
Improve lexical rules CI #25: Pull request #5 opened by dimakura
December 26, 2023 22:29 21s improve-lexer-rules
improve-lexer-rules
December 26, 2023 22:29 21s
pages build and deployment pages-build-deployment #7: by github-pages bot
December 26, 2023 21:22 26s
December 26, 2023 21:22 26s
Update license CI #24: Commit 705d19a pushed by dimakura
December 26, 2023 21:21 31s master
master
December 26, 2023 21:21 31s
pages build and deployment pages-build-deployment #6: by github-pages bot
December 26, 2023 21:17 32s
December 26, 2023 21:17 32s
Merge pull request #4 from ktexml/language-section CI #23: Commit ff7a43e pushed by dimakura
December 26, 2023 21:16 36s master
master
December 26, 2023 21:16 36s
Token definitions: very rough version CI #22: Pull request #4 synchronize by dimakura
December 24, 2023 13:04 17s language-section
language-section
December 24, 2023 13:04 17s
Token definitions: very rough version CI #21: Pull request #4 opened by dimakura
December 24, 2023 08:26 20s language-section
language-section
December 24, 2023 08:26 20s
pages build and deployment pages-build-deployment #5: by github-pages bot
December 23, 2023 19:48 34s
December 23, 2023 19:48 34s
Fix main to master CI #20: Commit 5116a58 pushed by dimakura
December 23, 2023 19:47 32s master
master
December 23, 2023 19:47 32s
Merge pull request #3 from ktexml/overview-section CI #19: Commit e656e71 pushed by dimakura
December 23, 2023 19:44 19s master
master
December 23, 2023 19:44 19s
Overview section: draft edition CI #18: Pull request #3 synchronize by dimakura
December 23, 2023 19:44 17s overview-section
overview-section
December 23, 2023 19:44 17s
Overview section: draft edition CI #17: Pull request #3 synchronize by dimakura
December 23, 2023 19:40 21s overview-section
overview-section
December 23, 2023 19:40 21s
Overview section: draft edition CI #16: Pull request #3 opened by dimakura
December 23, 2023 14:29 20s overview-section
overview-section
December 23, 2023 14:29 20s
Merge pull request #2 from ktexml/publish-to-gh-pages CI #15: Commit 5c4599e pushed by dimakura
December 23, 2023 13:30 4s master
master
December 23, 2023 13:30 4s