File tree Expand file tree Collapse file tree 2 files changed +6
-8
lines changed Expand file tree Collapse file tree 2 files changed +6
-8
lines changed Original file line number Diff line number Diff line change 4
4
# an API wrapper for a collection of SMT solvers:
5
5
# https://github.com/sosy-lab/java-smt
6
6
#
7
- # SPDX-FileCopyrightText: 2021 Dirk Beyer <https://www.sosy-lab.org>
7
+ # SPDX-FileCopyrightText: 2025 Dirk Beyer <https://www.sosy-lab.org>
8
8
#
9
9
# SPDX-License-Identifier: Apache-2.0
10
10
@@ -15,6 +15,5 @@ podman build -t registry.gitlab.com/sosy-lab/software/java-smt/develop:ubuntu180
15
15
# with read and write rights to the Gitlab registry (full API access is not required)
16
16
#
17
17
# Please use the following commands to push the build image to Gitlab:
18
- # docker login registry.gitlab.com
19
- # docker push registry.gitlab.com/sosy-lab/software/java-smt/develop:ubuntu1804
20
-
18
+ # podman login registry.gitlab.com
19
+ # podman push registry.gitlab.com/sosy-lab/software/java-smt/develop:ubuntu1804
Original file line number Diff line number Diff line change 4
4
# an API wrapper for a collection of SMT solvers:
5
5
# https://github.com/sosy-lab/java-smt
6
6
#
7
- # SPDX-FileCopyrightText: 2024 Dirk Beyer <https://www.sosy-lab.org>
7
+ # SPDX-FileCopyrightText: 2025 Dirk Beyer <https://www.sosy-lab.org>
8
8
#
9
9
# SPDX-License-Identifier: Apache-2.0
10
10
@@ -15,6 +15,5 @@ podman build -t registry.gitlab.com/sosy-lab/software/java-smt/develop:ubuntu220
15
15
# with read and write rights to the Gitlab registry (full API access is not required)
16
16
#
17
17
# Please use the following commands to push the build image to Gitlab:
18
- # docker login registry.gitlab.com
19
- # docker push registry.gitlab.com/sosy-lab/software/java-smt/develop:ubuntu2204
20
-
18
+ # podman login registry.gitlab.com
19
+ # podman push registry.gitlab.com/sosy-lab/software/java-smt/develop:ubuntu2204
You can’t perform that action at this time.
0 commit comments