Skip to content

Actions: justus-springer/CStarSurfaces.jl

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
39 workflow runs
39 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
pages build and deployment pages-build-deployment #16: by github-pages bot
April 8, 2024 10:12 39s
April 8, 2024 10:12 39s
bump version number to 0.4.0 Documentation #23: Commit d09c518 pushed by justus-springer
April 8, 2024 10:03 8m 22s v0.4.0
v0.4.0
April 8, 2024 10:03 8m 22s
pages build and deployment pages-build-deployment #15: by github-pages bot
April 8, 2024 09:57 46s
April 8, 2024 09:57 46s
pages build and deployment pages-build-deployment #14: by github-pages bot
April 8, 2024 09:56 53s
April 8, 2024 09:56 53s
pages build and deployment pages-build-deployment #13: by github-pages bot
April 8, 2024 09:54 56s
April 8, 2024 09:54 56s
bump version number to 0.4.0 Documentation #22: Commit d09c518 pushed by justus-springer
April 8, 2024 09:49 8m 21s main
main
April 8, 2024 09:49 8m 21s
sort exports Documentation #21: Commit 6a5b519 pushed by justus-springer
April 8, 2024 09:48 8m 16s main
main
April 8, 2024 09:48 8m 16s
add is_combinatorially_minimal to database Documentation #20: Commit 7205112 pushed by justus-springer
April 8, 2024 09:46 8m 11s main
main
April 8, 2024 09:46 8m 11s
pages build and deployment pages-build-deployment #12: by github-pages bot
November 22, 2023 11:41 51s
November 22, 2023 11:41 51s
bump version number to 0.3.0 Documentation #19: Commit 3a1c2be pushed by justus-springer
November 22, 2023 11:33 8m 8s v0.3.0
v0.3.0
November 22, 2023 11:33 8m 8s
pages build and deployment pages-build-deployment #11: by github-pages bot
November 16, 2023 09:06 54s
November 16, 2023 09:06 54s
bump version number to 0.3.0 Documentation #18: Commit 3a1c2be pushed by justus-springer
November 16, 2023 08:58 8m 10s main
main
November 16, 2023 08:58 8m 10s
add create_table function Documentation #17: Commit fddab5d pushed by justus-springer
November 15, 2023 14:53 7m 53s main
main
November 15, 2023 14:53 7m 53s
pages build and deployment pages-build-deployment #10: by github-pages bot
October 18, 2023 13:48 59s
October 18, 2023 13:48 59s
add missing compat entries Documentation #16: Commit 85452c7 pushed by justus-springer
October 18, 2023 13:39 9m 0s v0.2.0
v0.2.0
October 18, 2023 13:39 9m 0s
pages build and deployment pages-build-deployment #9: by github-pages bot
October 18, 2023 13:32 56s
October 18, 2023 13:32 56s
add missing compat entries Documentation #15: Commit 85452c7 pushed by justus-springer
October 18, 2023 13:23 9m 13s main
main
October 18, 2023 13:23 9m 13s
pages build and deployment pages-build-deployment #8: by github-pages bot
October 18, 2023 13:18 1m 5s
October 18, 2023 13:18 1m 5s
bump version to 0.2.0 Documentation #14: Commit 3d0fb6b pushed by justus-springer
October 18, 2023 13:06 11m 57s main
main
October 18, 2023 13:06 11m 57s
pages build and deployment pages-build-deployment #7: by github-pages bot
October 18, 2023 13:02 57s
October 18, 2023 13:02 57s
add Oscar as dependency in docs/ Documentation #13: Commit a573fc1 pushed by justus-springer
October 18, 2023 12:52 10m 0s main
main
October 18, 2023 12:52 10m 0s
remove line breaks in string Documentation #12: Commit 3aa238b pushed by justus-springer
October 18, 2023 12:41 7m 4s main
main
October 18, 2023 12:41 7m 4s
Merge branch 'dev' Documentation #11: Commit e00f82f pushed by justus-springer
October 18, 2023 12:31 7m 4s main
main
October 18, 2023 12:31 7m 4s
pages build and deployment pages-build-deployment #6: by github-pages bot
October 10, 2023 14:02 1m 0s
October 10, 2023 14:02 1m 0s
fix repo name in deploydocs Documentation #10: Commit 7b644d4 pushed by justus-springer
October 10, 2023 13:52 9m 19s main
main
October 10, 2023 13:52 9m 19s