Skip to content

Actions: elsoroka/Satisfiability.jl

Actions

.github/workflows/draft-pdf.yml

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
draft-pdf.yml
17 workflow runs
17 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #69 from elsoroka/final-joss-updates .github/workflows/draft-pdf.yml #17: Commit e414042 pushed by elsoroka
August 26, 2024 14:50 54s main
main
August 26, 2024 14:50 54s
adding citation and paper badge! .github/workflows/draft-pdf.yml #16: Commit 24339c5 pushed by elsoroka
August 26, 2024 14:46 52s final-joss-updates
final-joss-updates
August 26, 2024 14:46 52s
Merge pull request #62 from mykelk/windows_tests .github/workflows/draft-pdf.yml #15: Commit d7cf982 pushed by elsoroka
August 26, 2024 14:44 55s final-joss-updates
final-joss-updates
August 26, 2024 14:44 55s
Merge pull request #67 from elsoroka/main .github/workflows/draft-pdf.yml #14: Commit 120b0bd pushed by elsoroka
August 20, 2024 14:33 58s joss-paper
joss-paper
August 20, 2024 14:33 58s
Merge pull request #66 from danielskatz/patch-1 .github/workflows/draft-pdf.yml #13: Commit 0056c32 pushed by elsoroka
August 20, 2024 05:29 53s main
main
August 20, 2024 05:29 53s
Merge pull request #64 from elsoroka/joss-revisions .github/workflows/draft-pdf.yml #12: Commit 07ddaee pushed by elsoroka
August 17, 2024 04:53 53s v0.2.0
v0.2.0
August 17, 2024 04:53 53s
Merge pull request #64 from elsoroka/joss-revisions .github/workflows/draft-pdf.yml #11: Commit 07ddaee pushed by elsoroka
August 17, 2024 04:52 53s main
main
August 17, 2024 04:52 53s
Merge pull request #62 from mykelk/windows_tests .github/workflows/draft-pdf.yml #10: Commit d7cf982 pushed by elsoroka
August 4, 2024 18:54 54s main
main
August 4, 2024 18:54 54s
Merge pull request #61 from mykelk/3dtensors .github/workflows/draft-pdf.yml #9: Commit e3596fc pushed by elsoroka
August 4, 2024 17:40 53s main
main
August 4, 2024 17:40 53s
Merge pull request #59 from elsoroka/dependabot/github_actions/action… .github/workflows/draft-pdf.yml #8: Commit 43416d0 pushed by elsoroka
July 30, 2024 03:39 48s main
main
July 30, 2024 03:39 48s
Bump actions/upload-artifact from 1 to 4 .github/workflows/draft-pdf.yml #7: Commit 43e35e2 pushed by dependabot bot
July 29, 2024 03:56 48s dependabot/github_actions/actions/upload-artifact-4
dependabot/github_actions/actions/upload-artifact-4
July 29, 2024 03:56 48s
Merge pull request #58 from elsoroka/joss-paper .github/workflows/draft-pdf.yml #6: Commit 908f5a4 pushed by elsoroka
July 28, 2024 22:21 54s main
main
July 28, 2024 22:21 54s
Documentation updates to describe using a custom solver, per issue #50 .github/workflows/draft-pdf.yml #5: Commit deec625 pushed by elsoroka
July 28, 2024 22:18 50s joss-paper
joss-paper
July 28, 2024 22:18 50s
Addressing reviewer comments: less emphasis on SMT-LIB and explicitly .github/workflows/draft-pdf.yml #4: Commit e962f2f pushed by elsoroka
July 14, 2024 22:23 48s joss-paper
joss-paper
July 14, 2024 22:23 48s
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