Skip to content

Actions: jakobjpeters/PAndQ.jl

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
815 workflow runs
815 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Improve semantics Documentation #65: Commit 49e0eb9 pushed by jakobjpeters
July 23, 2023 13:39 3m 22s main
main
July 23, 2023 13:39 3m 22s
Improve semantics Continuous Integration #30: Commit 49e0eb9 pushed by jakobjpeters
July 23, 2023 13:39 1m 55s main
main
July 23, 2023 13:39 1m 55s
pages build and deployment pages-build-deployment #44: by github-pages bot
July 23, 2023 09:50 45s
July 23, 2023 09:50 45s
Make conjunction and disjunction left associative Continuous Integration #29: Commit 868ecb9 pushed by jakobjpeters
July 23, 2023 09:47 2m 5s main
main
July 23, 2023 09:47 2m 5s
Make conjunction and disjunction left associative Documentation #64: Commit 868ecb9 pushed by jakobjpeters
July 23, 2023 09:47 3m 3s main
main
July 23, 2023 09:47 3m 3s
pages build and deployment pages-build-deployment #43: by github-pages bot
July 23, 2023 09:24 54s
July 23, 2023 09:24 54s
Merge pull request #1 from devinallen/main Documentation #63: Commit f6a72c6 pushed by jakobjpeters
July 23, 2023 09:21 3m 36s main
main
July 23, 2023 09:21 3m 36s
Merge pull request #1 from devinallen/main Continuous Integration #28: Commit f6a72c6 pushed by jakobjpeters
July 23, 2023 09:21 1m 41s main
main
July 23, 2023 09:21 1m 41s
Rename reduce_* to *junction Continuous Integration #27: Pull request #1 synchronize by devinallen
July 22, 2023 01:24 2m 5s devinallen:main
devinallen:main
July 22, 2023 01:24 2m 5s
Rename reduce_* to *junction Documentation #62: Pull request #1 synchronize by devinallen
July 22, 2023 01:24 3m 32s devinallen:main
devinallen:main
July 22, 2023 01:24 3m 32s
pages build and deployment pages-build-deployment #42: by github-pages bot
July 19, 2023 18:57 55s
July 19, 2023 18:57 55s
Fix make.jl Continuous Integration #25: Commit 1db54f9 pushed by jakobjpeters
July 19, 2023 18:54 1m 55s main
main
July 19, 2023 18:54 1m 55s
Fix make.jl Documentation #60: Commit 1db54f9 pushed by jakobjpeters
July 19, 2023 18:54 2m 54s main
main
July 19, 2023 18:54 2m 54s
Merge branch 'main' of https://github.com/jakobjpeters/PAQ.jl Documentation #59: Commit 2a5723d pushed by jakobjpeters
July 19, 2023 18:30 2m 19s main
main
July 19, 2023 18:30 2m 19s
Merge branch 'main' of https://github.com/jakobjpeters/PAQ.jl Continuous Integration #24: Commit 2a5723d pushed by jakobjpeters
July 19, 2023 18:30 1m 49s main
main
July 19, 2023 18:30 1m 49s
pages build and deployment pages-build-deployment #41: by github-pages bot
July 19, 2023 08:45 57s
July 19, 2023 08:45 57s
Remove dead code README #15: Commit 4755541 pushed by jakobjpeters
July 19, 2023 08:42 29s main
main
July 19, 2023 08:42 29s
Remove dead code Continuous Integration #23: Commit 4755541 pushed by jakobjpeters
July 19, 2023 08:42 1m 56s main
main
July 19, 2023 08:42 1m 56s
Remove dead code Documentation #58: Commit 4755541 pushed by jakobjpeters
July 19, 2023 08:42 3m 16s main
main
July 19, 2023 08:42 3m 16s
pages build and deployment pages-build-deployment #40: by github-pages bot
July 8, 2023 00:04 54s
July 8, 2023 00:04 54s
Implement the arity function README #14: Commit 26369ea pushed by jakobjpeters
July 8, 2023 00:00 29s main
main
July 8, 2023 00:00 29s
Implement the arity function Continuous Integration #22: Commit 26369ea pushed by jakobjpeters
July 8, 2023 00:00 2m 16s main
main
July 8, 2023 00:00 2m 16s
Implement the arity function Documentation #57: Commit 26369ea pushed by jakobjpeters
July 8, 2023 00:00 4m 6s main
main
July 8, 2023 00:00 4m 6s
pages build and deployment pages-build-deployment #39: by github-pages bot
June 21, 2023 09:46 53s
June 21, 2023 09:46 53s
Merge branch 'main' of https://github.com/jakobjpeters/PAQ.jl Continuous Integration #21: Commit 0c3a06f pushed by jakobjpeters
June 21, 2023 09:43 2m 27s main
main
June 21, 2023 09:43 2m 27s
ProTip! You can narrow down the results and go further in time using created:<2023-06-21 or the other filters available.