Skip to content

Actions: Ntsekees/Nahaiwa

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
216 workflow runs
216 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Documentation: The lambda pronouns no longer have root forms, they ar… Deploy GitHub Pages #130: Commit 6cfa2c0 pushed by Ntsekees
November 27, 2024 14:43 27s main
main
November 27, 2024 14:43 27s
pages build and deployment pages-build-deployment #130: by github-pages bot
November 25, 2024 20:47 47s gh-pages
gh-pages
November 25, 2024 20:47 47s
Documentation: Fixing the sound form of the Sequential Role in one ex… Deploy GitHub Pages #129: Commit de0ba7a pushed by Ntsekees
November 25, 2024 20:47 21s main
main
November 25, 2024 20:47 21s
pages build and deployment pages-build-deployment #129: by github-pages bot
November 25, 2024 20:43 46s gh-pages
gh-pages
November 25, 2024 20:43 46s
Documentation: In the Determinacy section, fixing examples using obso… Deploy GitHub Pages #128: Commit 98aa55b pushed by Ntsekees
November 25, 2024 20:43 23s main
main
November 25, 2024 20:43 23s
pages build and deployment pages-build-deployment #128: by github-pages bot
November 25, 2024 20:38 38s gh-pages
gh-pages
November 25, 2024 20:38 38s
Documentation: Updating the sound form of an extensional prefix in on… Deploy GitHub Pages #127: Commit a0577e0 pushed by Ntsekees
November 25, 2024 20:38 20s main
main
November 25, 2024 20:38 20s
pages build and deployment pages-build-deployment #127: by github-pages bot
November 25, 2024 20:33 46s gh-pages
gh-pages
November 25, 2024 20:33 46s
Documentation: Fixing an error: the ⟪p-⟫ case is not the most animate… Deploy GitHub Pages #126: Commit 0df2366 pushed by Ntsekees
November 25, 2024 20:32 20s main
main
November 25, 2024 20:32 20s
pages build and deployment pages-build-deployment #126: by github-pages bot
November 25, 2024 20:28 40s gh-pages
gh-pages
November 25, 2024 20:28 40s
Fixing yet another typo. Deploy GitHub Pages #125: Commit d25b31c pushed by Ntsekees
November 25, 2024 20:28 26s main
main
November 25, 2024 20:28 26s
pages build and deployment pages-build-deployment #125: by github-pages bot
November 25, 2024 20:27 40s gh-pages
gh-pages
November 25, 2024 20:27 40s
Documentation: Fixing a typo: ⟪they⟫ ↦ ⟪their⟫. Deploy GitHub Pages #124: Commit 7d1d697 pushed by Ntsekees
November 25, 2024 20:27 17s main
main
November 25, 2024 20:27 17s
pages build and deployment pages-build-deployment #124: by github-pages bot
November 25, 2024 20:26 46s gh-pages
gh-pages
November 25, 2024 20:26 46s
Documentation: ⟪1P⟫ ↦ ⟪1⟫ in a few glosses. Deploy GitHub Pages #123: Commit 88740e5 pushed by Ntsekees
November 25, 2024 20:25 27s main
main
November 25, 2024 20:25 27s
pages build and deployment pages-build-deployment #123: by github-pages bot
November 25, 2024 20:21 45s gh-pages
gh-pages
November 25, 2024 20:21 45s
⟪modificative⟫ ↦ ⟪attributive⟫. Deploy GitHub Pages #122: Commit 36a85ed pushed by Ntsekees
November 25, 2024 20:20 19s main
main
November 25, 2024 20:20 19s
pages build and deployment pages-build-deployment #122: by github-pages bot
November 25, 2024 20:19 39s gh-pages
gh-pages
November 25, 2024 20:19 39s
Fixing another typo. Deploy GitHub Pages #121: Commit 03305c5 pushed by Ntsekees
November 25, 2024 20:19 18s main
main
November 25, 2024 20:19 18s
pages build and deployment pages-build-deployment #121: by github-pages bot
November 25, 2024 20:03 38s gh-pages
gh-pages
November 25, 2024 20:03 38s
Documentation: Adding a line break in one example block. Deploy GitHub Pages #120: Commit ea6785a pushed by Ntsekees
November 25, 2024 20:02 18s main
main
November 25, 2024 20:02 18s
pages build and deployment pages-build-deployment #120: by github-pages bot
November 25, 2024 20:00 47s gh-pages
gh-pages
November 25, 2024 20:00 47s
Fixing a typo. Deploy GitHub Pages #119: Commit 88a87f3 pushed by Ntsekees
November 25, 2024 20:00 19s main
main
November 25, 2024 20:00 19s
pages build and deployment pages-build-deployment #119: by github-pages bot
November 25, 2024 19:59 38s gh-pages
gh-pages
November 25, 2024 19:59 38s
⟪affixal⟫ ↦ ⟪extensional⟫. Deploy GitHub Pages #118: Commit 638d861 pushed by Ntsekees
November 25, 2024 19:58 25s main
main
November 25, 2024 19:58 25s