Skip to content

Actions: LIPS-scheme/lips

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,421 workflow runs
1,421 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

add spell checker Build and test #84: Commit 1ba9961 pushed by jcubic
November 14, 2023 19:14 1m 22s spellchecker
spellchecker
November 14, 2023 19:14 1m 22s
Merge pull request #251 from dragoncoder047/devel Build and test #83: Commit 8226ba4 pushed by jcubic
November 10, 2023 22:35 3m 37s devel
devel
November 10, 2023 22:35 3m 37s
second attempt to fix Makefile on PR Build and test #82: Commit 5e4da40 pushed by jcubic
November 10, 2023 22:33 3m 20s dragoncoder047-devel
dragoncoder047-devel
November 10, 2023 22:33 3m 20s
second attempt to fix Makefile on PR Build and test #81: Commit 2b463d4 pushed by jcubic
November 10, 2023 22:31 4m 11s pr-build-fix
pr-build-fix
November 10, 2023 22:31 4m 11s
Actually merge jcubic/pr-build-fix Build and test #80: Commit e038654 pushed by jcubic
November 10, 2023 22:30 2m 25s dragoncoder047-devel
dragoncoder047-devel
November 10, 2023 22:30 2m 25s
second attempt to fix Makefile on PR Build and test #79: Commit a26cb2c pushed by jcubic
November 10, 2023 22:29 3m 19s dragoncoder047-devel
dragoncoder047-devel
November 10, 2023 22:29 3m 19s
typos/grammar in documentation Build and test #78: Pull request #251 synchronize by dragoncoder047
November 10, 2023 22:08 47s dragoncoder047:devel
dragoncoder047:devel
November 10, 2023 22:08 47s
typos/grammar in documentation Build and test #77: Pull request #251 synchronize by dragoncoder047
November 10, 2023 21:41 41s dragoncoder047:devel
dragoncoder047:devel
November 10, 2023 21:41 41s
update version of github actions Build and test #76: Commit f755f33 pushed by jcubic
November 10, 2023 19:53 3m 18s pr-build-fix
pr-build-fix
November 10, 2023 19:53 3m 18s
fix typecheck unit test Build and test #75: Commit 2c4183d pushed by jcubic
November 10, 2023 19:22 2m 20s pr-build-fix
pr-build-fix
November 10, 2023 19:22 2m 20s
fix lint errors Build and test #74: Commit 2e25e78 pushed by jcubic
November 10, 2023 18:25 2m 21s pr-build-fix
pr-build-fix
November 10, 2023 18:25 2m 21s
change default shell in Makefile Build and test #73: Commit be2b99a pushed by jcubic
November 10, 2023 18:06 55s pr-build-fix
pr-build-fix
November 10, 2023 18:06 55s
typos/grammar in documentation Build and test #72: Pull request #251 synchronize by dragoncoder047
November 10, 2023 16:27 59s dragoncoder047:devel
dragoncoder047:devel
November 10, 2023 16:27 59s
pages build and deployment pages-build-deployment #14: by jcubic
November 9, 2023 16:35 50s
November 9, 2023 16:35 50s
update CBOR Build and test #70: Commit 0719742 pushed by jcubic
September 9, 2023 13:33 4m 30s devel
devel
September 9, 2023 13:33 4m 30s
fix lint errors Build and test #69: Commit 88969da pushed by jcubic
September 6, 2023 20:44 3m 10s devel
devel
September 6, 2023 20:44 3m 10s
fix exception when syntax-rule macro contain undefined Build and test #68: Commit c8760b6 pushed by jcubic
September 6, 2023 20:32 1m 22s devel
devel
September 6, 2023 20:32 1m 22s
add back and fix syntax highlighting when copy/paste Build and test #67: Commit c4ead06 pushed by jcubic
September 6, 2023 20:19 1m 27s devel
devel
September 6, 2023 20:19 1m 27s
merge with master Build and test #66: Commit 180a43b pushed by jcubic
September 6, 2023 20:05 1m 21s devel
devel
September 6, 2023 20:05 1m 21s
add proper auto indent for Node v20.6.0 Build and test #65: Commit 7e787b3 pushed by jcubic
September 6, 2023 19:41 3m 13s devel
devel
September 6, 2023 19:41 3m 13s
pages build and deployment pages-build-deployment #13: by jcubic
July 25, 2023 07:40 54s
July 25, 2023 07:40 54s
ProTip! You can narrow down the results and go further in time using created:<2023-07-25 or the other filters available.