Skip to content

Actions: elsoroka/Satisfiability.jl

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
228 workflow runs
228 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
pages build and deployment pages-build-deployment #26: by elsoroka
May 23, 2024 18:18 47s
May 23, 2024 18:18 47s
Merge pull request #43 from elsoroka/download-z3 docs #43: Commit dd89b1b pushed by elsoroka
May 23, 2024 18:15 3m 6s main
main
May 23, 2024 18:15 3m 6s
Merge pull request #43 from elsoroka/download-z3 CI #117: Commit dd89b1b pushed by elsoroka
May 23, 2024 18:15 1m 43s main
main
May 23, 2024 18:15 1m 43s
Automatically download Z3 if not already installed TagBot #32: Issue comment #43 (comment) created by codecov-commenter
May 23, 2024 16:10 3s
May 23, 2024 16:10 3s
Automatically download Z3 if not already installed CI #116: Pull request #43 opened by elsoroka
May 23, 2024 16:07 1m 51s download-z3
download-z3
May 23, 2024 16:07 1m 51s
pages build and deployment pages-build-deployment #25: by elsoroka
May 7, 2024 23:20 45s
May 7, 2024 23:20 45s
Merge pull request #41 from elsoroka/dependabot/github_actions/julia-… CI #115: Commit 1ca92f6 pushed by elsoroka
May 7, 2024 23:18 1m 27s main
main
May 7, 2024 23:18 1m 27s
Merge pull request #41 from elsoroka/dependabot/github_actions/julia-… docs #42: Commit 1ca92f6 pushed by elsoroka
May 7, 2024 23:18 2m 17s main
main
May 7, 2024 23:18 2m 17s
Bump julia-actions/cache from 1 to 2 CI #114: Pull request #41 opened by dependabot bot
May 6, 2024 03:43 1m 31s dependabot/github_actions/julia-actions/cache-2
dependabot/github_actions/julia-actions/cache-2
May 6, 2024 03:43 1m 31s
fix missing dois .github/workflows/draft-pdf.yml #3: Commit e293d9b pushed by elsoroka
March 29, 2024 19:29 42s joss-paper
joss-paper
March 29, 2024 19:29 42s
FORGOT the bibfile .github/workflows/draft-pdf.yml #2: Commit 86cc521 pushed by elsoroka
March 27, 2024 16:43 48s joss-paper
joss-paper
March 27, 2024 16:43 48s
Open Journals PDF generator .github/workflows/draft-pdf.yml #1: Commit b42b4e6 pushed by elsoroka
March 27, 2024 16:42 26s joss-paper
joss-paper
March 27, 2024 16:42 26s
pages build and deployment pages-build-deployment #24: by elsoroka
March 12, 2024 18:48 42s
March 12, 2024 18:48 42s
Merge pull request #39 from elsoroka/dev CI #113: Commit a9868c7 pushed by elsoroka
March 12, 2024 18:45 1m 35s main
main
March 12, 2024 18:45 1m 35s
Merge pull request #39 from elsoroka/dev docs #41: Commit a9868c7 pushed by elsoroka
March 12, 2024 18:45 2m 31s main
main
March 12, 2024 18:45 2m 31s
Fix the Docs build issue CI #112: Pull request #39 synchronize by elsoroka
March 12, 2024 18:43 1m 33s dev
dev
March 12, 2024 18:43 1m 33s
docs docs #40: Manually run by elsoroka
March 12, 2024 18:38 2m 55s dev
dev
March 12, 2024 18:38 2m 55s
docs docs #39: Manually run by elsoroka
March 12, 2024 18:31 2m 29s dev
dev
March 12, 2024 18:31 2m 29s
docs docs #38: Manually run by elsoroka
March 12, 2024 18:01 14m 41s dev
dev
March 12, 2024 18:01 14m 41s
Merge pull request #38 from elsoroka/dev CI #111: Commit 456eeb0 pushed by elsoroka
March 12, 2024 17:10 1m 42s main
main
March 12, 2024 17:10 1m 42s
Merge pull request #38 from elsoroka/dev docs #35: Commit 456eeb0 pushed by elsoroka
March 12, 2024 17:10 15m 9s main
main
March 12, 2024 17:10 15m 9s
investigating docs build issue CI #110: Pull request #38 synchronize by elsoroka
March 12, 2024 16:56 1m 31s dev
dev
March 12, 2024 16:56 1m 31s
investigating docs build issue CI #109: Pull request #38 opened by elsoroka
March 12, 2024 16:51 1m 34s dev
dev
March 12, 2024 16:51 1m 34s
Merge pull request #35 from elsoroka/dependabot/github_actions/codeco… CI #108: Commit 8790caf pushed by elsoroka
March 11, 2024 23:20 1m 35s main
main
March 11, 2024 23:20 1m 35s
Merge pull request #35 from elsoroka/dependabot/github_actions/codeco… docs #34: Commit 8790caf pushed by elsoroka
March 11, 2024 23:20 6h 0m 25s main
main
March 11, 2024 23:20 6h 0m 25s